Elliott Mendelson

August 11, 2009
by Chapman and Hall/CRC

Textbook
- 494 Pages
- 28 B/W Illustrations

ISBN 9781584888765 - CAT# C8768

Series: Discrete Mathematics and Its Applications

**For Instructors** Request an e-inspection copy

FREE Standard Shipping!

was $99.95

$89.96

SAVE $10.00

Add to Cart

Add to Wish List

- Provides a compact introduction to the principal topics of mathematical logic
- Presents the fundamental assumptions and proof techniques that form the basis of mathematical logic
- Explores logic and computability theory—indispensable tools in theoretical computer science and artificial intelligence
- Includes many examples and exercises

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.

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

We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an

e-inspection copy

e-inspection copy