Computational Logic and Set Theory Applying Formalized Logic to Analysis - Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; SpringerLink (Online service) (London : Springer London, 2011)
Keywords: Computer science; Computer Science; Computer Science, general; Computation by Abstract Devices; Mathematical Logic and Formal Languages