Local cover image
Local cover image

Introduction to mathematical logic

By: Material type: TextTextSeries: Discrete mathematics and its applicationsPublication details: Boca Raton : CRC, c2010Edition: 5th edDescription: xxiv, 469 p. ; 24 cmISBN:
  • 9781584888765
Subject(s):
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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática F.4.1 MEN (Browse shelf(Opens below)) Available DIF-04224

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

Local cover image