W. Buchholz

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies - 1981 - Heidelberg Springer Berlin 1981 - Monograph - Lecture Notes in Mathematics v.897 .

9783540386490


Mathematics and Statistics