David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1987)
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||categorize this paper)|
|Buy the book||$9.27 used (83% off) $39.98 new (24% off) $48.41 direct from Amazon (7% off) Amazon page|
|Call number||QA9.J64 1987|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
Richard T. Oehrle (1994). Term-Labeled Categorial Type Systems. Linguistics and Philosophy 17 (6):633 - 678.
Similar books and articles
Kenny 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.
Added to index2009-01-28
Total downloads40 ( #35,925 of 1,088,810 )
Recent downloads (6 months)1 ( #69,666 of 1,088,810 )
How can I increase my downloads?