Posted by **libr** at Nov. 28, 2015

English | June 13, 1996 | ISBN: 0521474930 | Pages: 298 | DJVU | 3.08 MB

Posted by **arundhati** at Jan. 4, 2015

1987 | ISBN: 0821810413 | 318 pages | PDF | 29 MB

Posted by **ChrisRedfield** at Aug. 1, 2014

Published: 1995-12-05 | ISBN: 0821802666 | PDF | 210 pages | 4 MB

Posted by **nebulae** at Oct. 30, 2013

English | 1987 | ISBN: 0821810413 | 318 pages | PDF | 29 MB

Posted by **interes** at April 27, 2013

English | (June 13, 1996) | ISBN: 0521474930 | Pages: 298 | DJVU | 3.08 MB

In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory.

Posted by **pepoimc** at Feb. 3, 2011

Publisher: Cambridge University Press (June 13, 1996) | ISBN: 0521474930 | Pages: 298 | DJVU | 3.08 MB

In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems).

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 **arundhati** at Sept. 5, 2017

1987 | ISBN-10: 0521336929, 0521335027 | 128 pages | PDF | 4 MB

Posted by **AvaxGenius** at Aug. 14, 2017

English | PDF | 2010 | 2200 Pages | ISBN : 1402048432 | 19.42 MB

This handbook is the definitive compendium of the methods, results, and current initiatives in modern set theory in all its research directions. Set theory has entered its prime as an advanced and autonomous field of mathematics with foundational significance, and the expanse and variety of this handbook attests to the richness and sophistication of the subject.

Posted by **ChrisRedfield** at Aug. 4, 2017