Introduction to mathematical logic
Material type:
TextSeries: Discrete mathematics and its applicationsPublication details: Boca Raton : CRC, c2010Edition: 5th edDescription: xxiv, 469 p. ; 24 cmISBN: - 9781584888765
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 MEN (Browse shelf(Opens below)) | Available | DIF-04224 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 LOG Logic of computation | F.4.1 MAN v.1 The logical basis for computer programming | F.4.1 MAN v.2 The logical basis for computer programming | F.4.1 MEN Introduction to mathematical logic | F.4.1 NER Introduçao à lógica | F.4.1 NIE Quantum computation and quantum information | F.4.1 OUB Introducción a la teoría de conjuntos |
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
Click on an image to view it in the image viewer