Gå direkte til innholdet
Computational Logic and Set Theory
Spar

Computational Logic and Set Theory

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.
Undertittel
Applying Formalized Logic to Analysis
Opplag
2011 ed.
ISBN
9781447160182
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.9.2014
Antall sider
416