Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Buchholz, W.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies /by W. Buchholz - New York: Springer, 1981.
3540111700
515 / BUC/I
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies /by W. Buchholz - New York: Springer, 1981.
3540111700
515 / BUC/I