Notes on Logic and Set Theory
Cambridge University Press (1987)
| Abstract | A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all introductory mathematics undergraduates, Notes on Logic and Set Theory covers the basic concepts of logic: first-order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. Successive chapters examine the recursive functions, the axiom of choice, ordinal and cardinal arithmetic, and the incompleteness theorems. Dr. Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. | |||||||||
| Keywords | Logic, Symbolic and mathematical Set theory | |||||||||
| Categories | ||||||||||
| Buy the book | $39.74 new (19% off) $40.02 direct from Amazon (19% off) Amazon page | |||||||||
| Call number | QA9.J64 1987 | |||||||||
| ISBN(s) | 0521336929 9780521336925 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
George J. Tourlakis (2003). Lectures in Logic and Set Theory. Cambridge University Press.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
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.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads38 ( #30,852 of 549,010 )Recent downloads (6 months)1 ( #63,261 of 549,010 )How can I increase my downloads? |
My notes
Discussion
