Introduction to Mathematical Logic - Rilegato

Mendelson, Elliott

 
9781584888765: Introduction to Mathematical Logic
Rilegato
ISBN 10: 1584888768 ISBN 13: 9781584888765
Casa editrice: Chapman and Hall/CRC, 2009

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Chapman and Hall/CRC
Data di pubblicazione
2009
Lingua
Inglese
ISBN 10 
1584888768
ISBN 13 
9781584888765
Rilegatura
Copertina rigida
Numero edizione
5
Numero di pagine
494
Contatto del produttore
non disponibile
Persona responsabile
non disponibile