Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Taal
- Jaar van publicatie
- 2014
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.