Skip to main content
PBS logo
 
 

Search - Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Computational Logic and Set Theory Applying Formalized Logic to Analysis
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. 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 the...  more »
ISBN-13: 9780857298072
ISBN-10: 0857298070
Publication Date: 7/26/2011
Pages: 433
Edition: 2011
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.