ENGLISH

Set Theory, Logic and Their Limitations

By Moshe Machover

Book information

Publisher
Cambridge University Press
Year
1996
ISBN
0521479983, 0521474930, 9780521479981
LCC
QA248 .M274 1996
Open Library ID
OL811856M
Language
english
Format
PDF
Filesize
43 MB (44883710 bytes)
Pages
302\302
Orientation
yes
Scanned
yes
Time added
2011-08-31 04:54:40

Description

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). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory.

Similar books