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. $94.77, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2011 by Springer.
