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 G”del, Church, Kleene, Rosser, and Turing. 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.
- ISBN: 978-1-58488-876-5
- Editorial: Chapman & Hall Ltd.
- Encuadernacion: Cartoné
- Páginas: 469
- Fecha Publicación: 11/08/2009
- Nº Volúmenes: 1
- Idioma: Inglés