Posted by **step778** at Aug. 28, 2017

2008 | pages: 481 | ISBN: 0716730502 | PDF | 20,6 mb

Posted by **tukotikko** at Jan. 27, 2016

1998 | 400 Pages | ISBN: 0716730502 | PDF | 21 MB

Posted by **step778** at Aug. 14, 2018

2004 | pages: 227 | ISBN: 0198526334 | PDF | 1,8 mb

Posted by **insetes** at Sept. 4, 2018

2002 | 390 Pages | ISBN: 9048160790 | DJVU | 3 MB

Posted by **insetes** at Nov. 5, 2018

2011 | 396 Pages | ISBN: 9400700792 | PDF | 2 MB

Posted by **insetes** at Feb. 21, 2019

2002 | 245 Pages | ISBN: 146126619X | PDF | 9 MB

Posted by **insetes** at Feb. 21, 2019

2002 | 494 Pages | ISBN: 3662003236 | PDF | 18 MB

Posted by **hill0** at Sept. 5, 2017

English | 16 July 2011 | ISBN: 0857298070 | 436 Pages | PDF | 2.4 MB

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.

Posted by **ChrisRedfield** at Dec. 2, 2017

Published: 2003-01-13 | ISBN: 0521753732, 0521168481 | PDF + DJVU | 342 pages | 3.83 MB

Posted by **AlenMiler** at Sept. 22, 2017

English | 8 Sept. 2017 | ISBN: 9813230509 | ASIN: B075T6J1VT | 468 Pages | AZW3 | 9.16 MB