Notes on logic and set theory

New York: Cambridge University Press (1987)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

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.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Lectures in logic and set theory.George J. Tourlakis - 2003 - New York: Cambridge University Press.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.

Analytics

Added to PP
2009-01-28

Downloads
90 (#173,308)

6 months
3 (#439,232)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
An Issue with the Concept of Entailment.Marcia Ricci Pinheiro - 2016 - Mathematics Letters 2 (4):28-31.

Add more citations

References found in this work

No references found.

Add more references