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
Contents:
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
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | F.4.1 MEN (Browse shelf(Opens below)) | Available | DIF-04224 |
Browsing Biblioteca Fac.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 OUB Introducción a la teoría de conjuntos | F.4.1 REL Relational methods in computer science |
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
There are no comments on this title.