Tallenna
Computational Logic and Set Theory
Kirjailija:
sidottu, 2011
englanti
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.
- Alaotsikko
- Applying Formalized Logic to Analysis
- Kirjailija
- Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis
- ISBN
- 9780857298072
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 16.7.2011
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 416
