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.