Notes on Logic and Set Theory
Book information
Description
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.
Similar books
Topos Theory
1977 · DJVU
Notes on Logic and Set Theory
1987 · PDF
Topos theory
1977 · DJVU
Topos theory
1977 · PDF
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · DJVU
Stone spaces
1982 · DJVU
Stone spaces
1982 · PDF
Indexed Categories and Their Applications
1978 · PDF