David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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||$65.33 used (46% off) $73.58 new (39% off) $90.99 direct from Amazon (25% off) Amazon page|
|Call number||QA9.2.T68 2003|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
George Tourlakis (2003). Lectures in Logic and Set Theory. Volume 2: Set Theory. Cambridge University Press.
Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads6 ( #211,749 of 1,100,114 )
Recent downloads (6 months)1 ( #304,144 of 1,100,114 )
How can I increase my downloads?