Introduction to mathematical logic

Título:

Introduction to mathematical logic

Autor:

Mendelson, Elliott

Colaboradores:

Temas:

LÓGICA MATEMÁTICA ; TEORÍA DE LA COMPUTABILIDAD ; 

Edición:

5th ed.

Serie:

Discrete mathematics and its applications

Descripción física:

xxiv, 469 p.  ; 24 cm.

ISBN:

9781584888765

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Boca Raton : CRC, c2010

Nota general:

Incluye índice y bibliografía.

Puede solicitar más fácilmente el ejemplar con: F.4.1 MEN

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