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
Inga betyg ännu
Dec 1, 1981 · Engelska · Pocketbok (392 sidor)
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal

Bokdetaljer

Format Pocketbok
Sidor 392
Språk Engelska
Publicerad Dec 1, 1981
Förlag Springer
ISBN-10 3540111700
ISBN-13 9783540111702

Beskrivning

Used - Like New
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal