Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

0 Mėgstami
0Krepšelis

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

-20% su kodu: BOOKS
47,36 
Įprasta kaina: 59,20 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-16
-20% su kodu: BOOKS
47,36 
Įprasta kaina: 59,20 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-16
-20% su kodu: BOOKS
2025-03-31 47.36 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Autorius: W. Buchholz, W. Sieg, W. Pohlers, S. Feferman,
Serija: Lecture Notes in Mathematics
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1981
Knygos puslapių skaičius: 392
ISBN-10: 3540111700
ISBN-13: 9783540111702
Formatas: 235 x 155 x 22 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies“

Būtina įvertinti prekę

Goodreads reviews for „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies“