Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
By: Schwartz, Jacob T.
Contributor(s): Cantone, Domenico | Omodeo, Eugenio G | SpringerLink (Online service).
Material type: BookPublisher: London : Springer London, 2011Description: digital.ISBN: 9780857298089.Subject(s): Computer science | Computer Science | Computer Science, general | Computation by Abstract Devices | Mathematical Logic and Formal LanguagesDDC classification: 004 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.