TY  - BOOK
AU  - Mendelson,Elliott
TI  - Introduction to mathematical logic
T2  - Discrete mathematics and its applications
SN  - 9781584888765
PY  - 2010///
CY  - Boca Raton
PB  -  CRC
KW  - LÓGICA MATEMÁTICA
KW  - TEORÍA DE LA COMPUTABILIDAD
N1  - 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
ER  -