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 London, 2011. - digital.
9780857298089
10.1007/978-0-85729-808-9 doi
Computer science.
Computer Science.
Computer Science, general.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004
Computational Logic and Set Theory Applying Formalized Logic to Analysis / [electronic resource] : by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. - London : Springer London, 2011. - digital.
9780857298089
10.1007/978-0-85729-808-9 doi
Computer science.
Computer Science.
Computer Science, general.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004