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 ???tnaNova system, a program built to verify the correctness of mathematical proofs.
Read More
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 ???tnaNova system, a program built to verify the correctness of mathematical proofs.
Read Less
Add this copy of Computational Logic and Set Theory: Applying Formalized to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer.
Add this copy of Computational Logic and Set Theory: Applying Formalized to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Add this copy of Computational Logic and Set Theory: Applying Formalized to cart. $71.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2014 by Springer.
Add this copy of Computational Logic and Set Theory: Applying Formalized to cart. $87.77, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by Springer.
