Iterated inductive definitions and subsystems of analysis
Buchholz W
Iterated inductive definitions and subsystems of analysis Buchholz W - Berlin Springer-Verlag 1981 - vi, 383p. cm. - Lecture notes in mathematics; 897 .
22118
Textual
Mathematical Analysis
Mathematics
B3, M1
Iterated inductive definitions and subsystems of analysis Buchholz W - Berlin Springer-Verlag 1981 - vi, 383p. cm. - Lecture notes in mathematics; 897 .
22118
Textual
Mathematical Analysis
Mathematics
B3, M1
