Introduction to Mathematical Logic, Fifth Edition

Elliott Mendelson

Hardback
$79.16

eBook
from $40.00

August 11, 2009 by Chapman and Hall/CRC
Textbook - 469 Pages - 28 B/W Illustrations
ISBN 9781584888765 - CAT# C8768
Series: Discrete Mathematics and Its Applications

FREE Standard Shipping!

was $98.95

$79.16

SAVE $19.79

Add to Cart
Add to Wish List

Features

  • 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

Summary

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.