Computational Logic and Set Theory

Available
0
StarStarStarStarStar
0Reviews
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 theory. Topics and features: describes in depth how a sp...
Read more
product_type_E-book
pdf
Price
44.99 £
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 theory. Topics and features: describes in depth how a sp...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9780857298089
  • Publication Date: 16 Jul 2011
  • Publisher: Springer London
  • Product language: English
  • Drm Setting: DRM