-
Anglický jazyk
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Autor: W. Buchholz
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... Viac o knihe
Na objednávku
33.84 €
bežná cena: 38.45 €
O knihe
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.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 1981
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540111702
