Spara
Computational Logic and Set Theory
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
- Undertitel
- Applying Formalized Logic to Analysis
- Författare
- Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis
- Upplaga
- 2011 ed.
- ISBN
- 9781447160182
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-09-06
- Förlag
- Springer London Ltd
- Sidor
- 416
