Computational logic and set theory: applying formalized logic to analysis
Auteur :
Schwartz, Jacob T. / Cantone, Domenico / Omodeo, Eugenio G.
Éditeur :
Springer London Ltd
ISBN :
9780857298072
Date de publication :
16 juil. 2011
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.