Advanced logic for applications / Richard E. Grandy.
Series Synthese library ; v. 110Editor: Dordrecht, Holland ; Boston : D. Reidel, c1977Descripción: xi, 167 p. ; 23 cmISBN: 9027707812Tema(s): Logic, Symbolic and mathematicalOtra clasificación: 03-011. Henkin sets and the fundamental theorem2. Derivation rules and completeness3. Gentzen systems and constructive completeness proofs4. Quantification theory with identity and functional constants5. First order theories with equality6. Gödel's incompleteness theorems: preliminary discussion7. Undecidability and incompleteness8. Gödel's second incompleteness theorem9. Tarski's theorems and the definition of truth10. Some recursive function theory11. Intuitionistic logic12. Second order logic13. Algebraic logic14. Anadic logic.
| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 G755 (Browse shelf) | Available | A-5043 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 G655m-2 Mathematical logic / | 03 G655r Recursive analysis / | 03 G687 A treatise on many-valued logics / | 03 G755 Advanced logic for applications / | 03 G895 Fonctions récursives / | 03 H157 An introduction to modern logic : | 03 H185 Mathematical proof : |
"This book is intended to be a survey of the most important results in mathematical logic for philosophers"--Preface.
Incluye referencias bibliográficas (p. [161]-162) e índices.
1. Henkin sets and the fundamental theorem -- 2. Derivation rules and completeness -- 3. Gentzen systems and constructive completeness proofs -- 4. Quantification theory with identity and functional constants -- 5. First order theories with equality -- 6. Gödel's incompleteness theorems: preliminary discussion -- 7. Undecidability and incompleteness -- 8. Gödel's second incompleteness theorem -- 9. Tarski's theorems and the definition of truth -- 10. Some recursive function theory -- 11. Intuitionistic logic -- 12. Second order logic -- 13. Algebraic logic -- 14. Anadic logic.
MR, 57 #9450
Click on an image to view it in the image viewer
There are no comments on this title.