Normal view
MARC view
Buchholz, Wilfried, 1948- (Personal Name)
Iterated inductive definitions and subsystems of analysis, 1981 (a.e.) CIP t.p. (Wilfried Buchholz) CIP data sheet (b. 4/1/48)