Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
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. |