Computational Logic and Set Theory Applying Formalized Logic to Analysis |
|
| Author:
| Schwartz, Jacob T.
Cantone, Domenico
Omodeo, Eugenio G. |
| Foreword by:
| Davis, Martin |
| ISBN: | 978-0-85729-807-2 |
| Publication Date: | Jul 2011 |
| Publisher: | Springer London, Limited
|
| Imprint: | Springer |
| Book Format: | Hardback |
| List Price: | USD $54.99 |
Book Description:
|
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.