Deducibility and decidability /
Saved in:
| Author / Creator: | Gill, R. R. Rockingham, 1944- |
|---|---|
| Imprint: | London ; New York : Routledge, 1990. |
| Description: | viii, 162 p. ; 23 cm. |
| Language: | English |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/1062283 |
Table of Contents:
- Preface
- I. The Natural Numbers and Their Conventional Ordering
- II. Addition, Multiplication and Exponentiation
- III. The Theory of ∑-Forms
- IV. Effectiveness
- V. Recursively Defined Predicates
- VI. The 'Arithmetization of Syntax'
- VII. Diagonalization
- VIII. Gödel's Theorems, and Their Relatives
- IX. The Limits of Representability
- X. The Arithmetical Hierarchy
- Envoi
- Appendix: Terminological Matters
- References
- Index