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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Analytics

Added to PP
2009-01-28

Downloads
106 (#201,992)

6 months
8 (#622,456)

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.
Entailment II.Marcia Ricci Pinheiro - 2017 - International Journal of Advances in Philosophy 1 (3):37-43.

Add more citations

References found in this work

No references found.

Add more references