Aspects of Incompleteness
1st ed.. - Berlin/Heidelberg: Springer Berlin / Heidelberg, 1997
Online
Monographie, Elektronische Ressource
- 1 online resource (143 pages)
Ermittle Ausleihstatus...
Preface -- Contents -- 0. Introduction -- 1. Preliminaries -- 2. Incompleteness -- 3. Numerations of R.E. Sets -- 4. Axiomatizations -- 5. Partial conservativity -- 6. Interpretability -- 7. Degrees of interpretability -- 8. Generalizations -- References -- Index -- Notation.
Titel: |
Aspects of Incompleteness
|
---|---|
Autor/in / Beteiligte Person: | Lindström, Per [author] |
Lokaler Link: | |
Ausgabe: | 1st ed. |
Veröffentlichung: | Berlin/Heidelberg: Springer Berlin / Heidelberg, 1997 |
Medientyp: | Monographie |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 online resource (143 pages) |
ISBN: | 3-662-21635-3 |
Sonstiges: |
|