Tallenna
Computational Logic and Set Theory
Kirjailija:
nidottu, 2014
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
- Painos
- 2011 ed.
- ISBN
- 9781447160182
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.9.2014
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 416
