Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik |
| ISBN | 9783540111702 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.12.1981 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik |
| ISBN | 9783540111702 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.12.1981 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
