Introduction to mathematical logic
Mendelson, Elliott
Introduction to mathematical logic - 5th ed. - Boca Raton : CRC, c2010 - xxiv, 469 p. ; 24 cm. - Discrete mathematics and its applications .
Incluye índice y bibliografía.
Preface -- Introduction -- 1. The propositional calculus -- 2. First-order logic and model theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability -- Appendix A. Second-order logic -- Appendix B. First steps in modal propositional logic -- Answers to selected exercises -- Bibliography -- Notation -- Index
9781584888765
DIF-M6319
LÓGICA MATEMÁTICA
TEORÍA DE LA COMPUTABILIDAD
Introduction to mathematical logic - 5th ed. - Boca Raton : CRC, c2010 - xxiv, 469 p. ; 24 cm. - Discrete mathematics and its applications .
Incluye índice y bibliografía.
Preface -- Introduction -- 1. The propositional calculus -- 2. First-order logic and model theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability -- Appendix A. Second-order logic -- Appendix B. First steps in modal propositional logic -- Answers to selected exercises -- Bibliography -- Notation -- Index
9781584888765
DIF-M6319
LÓGICA MATEMÁTICA
TEORÍA DE LA COMPUTABILIDAD