Produkt mají v nabídce:
Computational Logic and Set Theory - Schwartz, Jacob T. a Cantone, Domenico a Omodeo, Eugenio G.
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.
