عنوان
پدید آورنده
موضوع
رده
QA9 .B974 2011
QA9
.
B974
2011
کتابخانه
محل استقرار
9048160790
9401599343
9789048160792
9789401599344
b596538
An introduction to mathematical logic and type theory :
[Book]
to truth through proof
by Peter B. Andrews.
2nd ed
Dordrecht ; London
Springer
2011
(1 v) : ill.
Applied logic series, 27
Previous edition: London: Academic, 1986.
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.
Logic, Symbolic and mathematical.
Type theory.
QA9
.
B974
2011
by Peter B. Andrews.
Peter Bruce Andrews
مطالعه متن کتاب [Book]
Y
