E-book
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
Record details
- ISBN: 9780857298089
- Physical Description: XVII, 416p. 2 illus. digital.
- Publisher: London : Springer London, 2011.
Search for related items by subject
| Subject: | Computer science. Computer Science. Computer Science, general. Computation by Abstract Devices. Mathematical Logic and Formal Languages. |
