Introduction to Mathematical Logic

Mendelson, Elliott

ISBN 10: 1584888768 / ISBN 13: 9781584888765

Published by CRC Press, Boca Raton, 2010

About this Item

No markings.

Seller Inventory # 00043963

Bibliographic Details

• Title: Introduction to Mathematical Logic
• Publisher: CRC Press, Boca Raton
• Publication Date: 2010
• Language: English
• ISBN 10: 1584888768
• ISBN 13: 9781584888765
• Binding: Hardcover
• Edition: Fifth Edition
• Condition: Very Fine
• Seller catalogs:
  • Mathematics

About this title

Synopsis

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.

About the Author

Elliott Mendelson is professor emeritus in the Department of Mathematics at Queens College.