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

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
von Buchholz, Wilfred, Solomon Feferman and Wolfram Pohlers
Springer Verlag
9783540111702
Jahr: 1981
383 Seiten
Broschiert
Bestellnummer: 2302885

Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...) - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.