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||$49.00 used (20% off) $51.30 new (16% off) $60.99 direct from Amazon Amazon page|
|Call number||QA9.J64 1987|
References found in this work BETA
No references found.
Citations of this work BETA
Category Theory and the Foundations of Mathematics: Philosophical Excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
Term-Labeled Categorial Type Systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
Similar books and articles
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
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.
A Critical Appraisal of Second-Order Logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
Second-Order Logic and Foundations of Mathematics.Jouko Vaananen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Mathematical Logic and Foundations of Set Theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam: North-Holland Pub. Co..
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard L. Tieszen (eds.) - 2000 - Cambridge University Press.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2007 - Cambridge University Press.
Added to index2009-01-28
Total downloads54 ( #98,155 of 2,177,988 )
Recent downloads (6 months)2 ( #166,811 of 2,177,988 )
How can I increase my downloads?