Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Goedel, Church, Kleene, Rosser, and Turing.
New to the Fifth Edition
- A new section covering basic ideas and results about nonstandard models of number theory
- A second appendix that introduces modal propositional logic
- An expanded bibliography
- Additional exercises and selected answers
This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.
- ISBN10 1439889899
- ISBN13 9781439889893
- Publish Date 31 October 2011 (first published 7 August 2009)
- Publish Status Active
- Publish Country GB
- Publisher Taylor & Francis Ltd
- Imprint Chapman & Hall/CRC
- Edition 5th New edition
- Format eBook
- Pages 494
- Language English