Computational Logic and Set Theory
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
Springer London Ltd, 2011
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780857298072
- ISBN-10
- 0857298070
- Publisher
- Springer London Ltd
- Year
- 2011
- Publication date
- 2011-07-16
- Pages
- 416
- Dimensions
- 243x166x30
- Weight
- 824