The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Martin Davis (Foreword), JacobT.Schwartz (Author), Domenico Cantone (Author), EugenioG.Omodeo (Author)

  • New

    Hardcover 2011

    $100.75
Synopsis

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 AEtnaNova system, a program built to verify the correctness of mathematical proofs.

$100.75

Quantity

20+ in stock

More Information

Format: Hardcover
 Pages: 433
 Edition: 1st Edition.
 Publisher: Springer
Published: 16 Jul 2011
ISBN 10: 0857298070
ISBN 13: 9780857298072