Main image
Click to view image in fullscreen
![]()
Computational Logic and Set Theory
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 AEtnaNova system, a program built to verify the correctness of mathematical proofs.
840,00 DH
Sur commande
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 AEtnaNova system, a program built to verify the correctness of mathematical proofs.
| ISBN / EAN | 9780857298072 |
|---|---|
| Auteur | Schwartz, Jacob T. |
| Editeur | Springer London Ltd |