Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2939893]

• Literatura piękna

[1808953]

więcej...

Kategorie szczegółowe BISAC

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

Name: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Brand: Springer-Verlag Berlin and Heidelberg GmbH &
Price: 140.36 PLN
Availability: InStock

ISBN-13: 9783540111702 / Angielski / Miękka / 1981 / 384 str.

W. Buchholz;S. Feferman;W. Pohlers

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

ISBN-13: 9783540111702 / Angielski / Miękka / 1981 / 384 str.

W. Buchholz;S. Feferman;W. Pohlers

cena 140,36
(netto: 133,68 VAT: 5%)

Najniższa cena z 30 dni: 134,76

Termin realizacji zamówienia:
ok. 22 dni roboczych.

Darmowa dostawa!

Springer Book Archives

Kategorie:

Nauka, Matematyka

Kategorie BISAC:

Mathematics > Logic

Wydawca:

Springer-Verlag Berlin and Heidelberg GmbH &

Seria wydawnicza:

Lecture Notes in Mathematics

Język:

Angielski

ISBN-13:

9783540111702

Rok wydania:

1981

Dostępne języki:

Angielski

Wydanie:

1981

Numer serii:

000013117

Ilość stron:

384

Waga:

1.21 kg

Wymiary:

23.523.5 x 15.5

Oprawa:

Miękka

Wolumenów:

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.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa