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

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

W. Buchholz , S. Feferman , W. Pohlers
Brak ocen
Dec 1, 1981 · Angielski · Miękka okładka (392 strony)
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki

Szczegóły książki

Format Miękka okładka
Strony 392
Język Angielski
Opublikowany Dec 1, 1981
Wydawca Springer
ISBN-10 3540111700
ISBN-13 9783540111702

Opis

Used - Like New
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki