Computational Logic and Set Theory
Schwartz, Jacob T.
Computational Logic and Set Theory Applying Formalized Logic to Analysis / [electronic resource] : by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. - London : Springer-Verlag London Limited, 2011. - v.: digital
9780857298089
Computer science
Computer Science
Computer Science, general
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Computational Logic and Set Theory Applying Formalized Logic to Analysis / [electronic resource] : by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. - London : Springer-Verlag London Limited, 2011. - v.: digital
9780857298089
Computer science
Computer Science
Computer Science, general
Computation by Abstract Devices
Mathematical Logic and Formal Languages