Cambridge University Press (2003)
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
|Keywords||Logic, Symbolic and mathematical Set theory|
|Categories||categorize this paper)|
|Buy the book||$86.28 used (21% off) $93.35 new (14% off) $108.00 direct from Amazon Amazon page|
|Call number||QA9.2.T68 2003|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Mathematical Logic and Foundations of Set Theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam: North-Holland Pub. Co..
E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
A Critical Appraisal of Second-Order Logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
Lectures in Logic and Set Theory. Volume 2: Set Theory.George Tourlakis - 2003 - Cambridge University Press.
The Prospects for Mathematical Logic in the Twenty-First Century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard L. Tieszen (eds.) - 2000 - Cambridge University Press.
Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Added to index2009-01-28
Total downloads17 ( #286,848 of 2,177,988 )
Recent downloads (6 months)3 ( #113,123 of 2,177,988 )
How can I increase my downloads?