Introduction to Mathematical Logic - Couverture rigide

Mendelson, Elliott

 
9781584888765: Introduction to Mathematical Logic
Couverture rigide
ISBN 10 : 1584888768 ISBN 13 : 9781584888765
Editeur : Chapman & Hall/CRC, 2009

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Chapman & Hall/CRC
Date d'édition
2009
Langue
anglais
ISBN 10 
1584888768
ISBN 13 
9781584888765
Reliure
Relié
Numéro d'édition
5
Nombre de pages
494
Coordonnées du fabricant
non disponible
Personne responsable
non disponible