Introduction to Mathematical Logic

Mendelson, Elliott

ISBN 10: 1584888768 / ISBN 13: 9781584888765

Edité par CRC Press, Boca Raton, 2010

A propos de cet article

No markings. N° de réf. du vendeur 00043963

Détails bibliographiques

Titre : Introduction to Mathematical Logic

Éditeur : CRC Press, Boca Raton

Date d'édition : 2010

Reliure : Hardcover

Etat : Very Fine

Edition : Fifth Edition

A propos de ce titre

Synopsis :

Unusual book

Présentation de l'éditeur:

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.