Introduction to Mathematical Logic (Discrete Mathematics and Its Applications) - Tapa dura

Mendelson, Elliott

 
9781584888765: Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
Tapa dura
ISBN 10: 1584888768 ISBN 13: 9781584888765
Editorial: Chapman and Hall/CRC, 2009

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Chapman and Hall/CRC
Año de publicación
2009
Idioma
Inglés
ISBN 10 
1584888768
ISBN 13 
9781584888765
Encuadernación
Tapa dura
Número de edición
5
Número de páginas
494
Contacto del fabricante
no disponible
Persona responsable
no disponible