Posted by **step778** at May 19, 2015

1994 | pages: 440 | ISBN: 086720463X | PDF | 17,8 mb

Posted by **interes** at Jan. 28, 2014

English | 2005-11-15 | ISBN: 1568812620 | DJVU | 896 pages | 6,6 MB

This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and Gödel’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory.

Posted by **interes** at Jan. 19, 2014

English | 2005 | ISBN: 0883850362 | ISBN-13: 9780883850367 | 414 pages | DJVU | 4,8 MB

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level.

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 **pepoimc** at Jan. 31, 2011

Publisher: Oxford University Press, USA; illustrated edition (October 13, 1994) | ISBN: 0198534507 | Pages: 416 | DJVU | 2.44 MB

This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

Posted by **libr** at Dec. 11, 2016

English | 2012 | ISBN: 0199891613 | 208 pages | PDF | 0,8 MB

Posted by **libr** at Dec. 10, 2016

English | 2017 | ISBN: 1472914090 | 304 pages | EPUB | 6 MB

Posted by **speedzodiac_** at Dec. 10, 2016

This professional font editor allows you to create and edit TrueType and OpenType fonts. It has the powerful drawing tools that typographers and graphic designers require, and an intuitive interface that allows beginners to become productive immediately.

Posted by **arundhati** at Dec. 10, 2016

2016 | ISBN-10: 9811031193 | 62 pages | PDF | 2 MB

Posted by **IrGens** at Dec. 9, 2016

English | November 15, 2016 | ASIN: B01M2CA3N8 | [email protected] kbps | 2 hrs 37 mins | 71 MB