Introduction to Mathematical Logic (Discrete Mathematics and Applications) - Hardcover

Mendelson, Elliott

 
9781584888765: Introduction to Mathematical Logic (Discrete Mathematics and Applications)
Hardcover
ISBN 10: 1584888768 ISBN 13: 9781584888765
Verlag: Taylor & Francis Ltd, 2009

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Taylor & Francis Ltd
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
1584888768
ISBN 13 
9781584888765
Einband
Gebundene Ausgabe
Auflage
5
Anzahl der Seiten
512
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar