Computational Logic and Set Theory: Applying Formalized Logic to Analysis

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

• All from $16.50
• New Books from $51.65
• Used Books from $58.06
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jul 19, 2024) 60 Day Rental: $22.00 (Expires Aug 18, 2024) 90 Day Rental: $27.50 (Expires Sep 17, 2024) 120 Day Rental: $33.00 (Expires Oct 17, 2024) 180 Day Rental: $35.75 (Expires Dec 16, 2024) Buy eBook Lifetime Access: $54.99 Title: Computational Logic and Set Theory by Jacob T. Schwartz; Domenico Cantone; Eugenio G. Omodeo Publisher: Springer Nature Print ISBN: 9780857298072, 0857298070 eText ISBN: 9780857298089 Edition: 2011 Format: EPUB eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ