Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)

Mendelson, Elliott

ISBN 10: 1584888768 / ISBN 13: 9781584888765

Editore: Chapman and Hall/CRC, 2009

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_420202946

Riassunto:

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.

Informazioni sull'autore:

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

Dati bibliografici

Titolo: Introduction to Mathematical Logic, Fifth ...
Casa editrice: Chapman and Hall/CRC
Data di pubblicazione: 2009
Legatura: Hardcover
Condizione: Good
Edizione: quinta edizione o successive