Introduction to Mathematical Logic Fifth Edition (Discrete Mathematics and Its Applications)

About this book

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 Gdel 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.