Set Theory, Logic and their Limitations
0521479983
Review
' … written by an excellent mathematician … I very much like the way the author explains things.' European Mathematical Society This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.Cheap Textbooks
- Clinical Supervisor Training: An Interactive CD-Rom Training Program for the Helping Professions
- Guillain-Barre Syndrome - A Medical Dictionary, Bibliography, and Annotated Research Guide to Internet References
- Noses (Spot the Difference)
- Software Engineering with C++ and CASE Tools (Book & CD)
- Adaina Periarga
- Food Chains: Ocean Hardback
- OCR 'AS' Student Handbook: Human Health and Disease Module B
- Digital Timing Macromodeling for VLSI Design Verification (The Springer International Series in Engineering and Computer Science)
- Design of Experiments
- Commidendrum Rotundifolium