Context

Context of Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies, Wilfried Buchholz [and others]
Processing Feedback ...