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

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

W. Buchholz , S. Feferman , W. Pohlers

Noch keine Bewertungen

Dec 1, 1981 · Englisch · Taschenbuch (392 Seiten)

Bewerte dieses Buch

Buchdetails

Format Taschenbuch

Seiten 392

Sprache Englisch

Veröffentlicht Dec 1, 1981

Verlag Springer

ISBN-10 3540111700

ISBN-13 9783540111702

Used - Like New

Bewerte dieses Buch