The book is currently out of stock
More about the book
Focusing on computational logic and set theory, this essential text showcases Professor Jacob T. Schwartz's contributions to proof verification techniques. It delves into the ÆtnaNova system, a specialized program designed to ensure the correctness of mathematical proofs, highlighting its significance in the field.
Book purchase
Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Language
- Released
- 2014
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Computational Logic and Set Theory
- Subtitle
- Applying Formalized Logic to Analysis
- Language
- English
- Publisher
- Springer London
- Released
- 2014
- Format
- Paperback
- Pages
- 436
- ISBN13
- 9781447160182
- Category
- Computers, IT, Programming
- Description
- Focusing on computational logic and set theory, this essential text showcases Professor Jacob T. Schwartz's contributions to proof verification techniques. It delves into the ÆtnaNova system, a specialized program designed to ensure the correctness of mathematical proofs, highlighting its significance in the field.