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. |
Electronic resources
| Introduction | ||
| Propositional- and predicate-calculus preliminaries | ||
| A survey of inference mechanisms | ||
| More on the structure of the verifier system | ||
| A closer examination of the sequence of definitions and theorems presented in this book | ||
| Undecidability and unsolvability | ||
| A self-contained beginning for Ref's main proof scenario. |
