|
" An introduction to mathematical logic and type theory : "
by Peter B. Andrews.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
776541
|
| Doc. No
|
:
|
b596538
|
| Main Entry
|
:
|
by Peter B. Andrews.
|
| Title & Author
|
:
|
An introduction to mathematical logic and type theory : : to truth through proof\ by Peter B. Andrews.
|
| Edition Statement
|
:
|
2nd ed
|
| Publication Statement
|
:
|
Dordrecht ; London : Springer, 2011
|
| Series Statement
|
:
|
Applied logic series, 27
|
| Page. NO
|
:
|
(1 v) : ill.
|
| ISBN
|
:
|
9048160790
|
|
|
:
|
: 9401599343
|
|
|
:
|
: 9789048160792
|
|
|
:
|
: 9789401599344
|
| Notes
|
:
|
Previous edition: London: Academic, 1986.
|
| Contents
|
:
|
Preface to the Second Edition. Preface. Introduction. 1. Propositional Calculus. 2. First-Order Logic. 3. Provability and Refutability. 4. Further Topics in First-Order Logic. 5. Type Theory. 6. Formalized Number Theory. 7. Incompleteness and Undecidability. Supplementary Exercises. Summary of Theorems. Bibliography. List of Figures. Index.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Type theory.
|
| LC Classification
|
:
|
QA9.B974 2011
|
| Added Entry
|
:
|
Peter Bruce Andrews
|
| |