4416
Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
Berlin; New York
Springer - Verlag
1981
v. 383p
Lecture notes in mathematics; 798
Bibliography: p. )358( - 368
Includes index
)by( Wilfreid Buchholz )et al(
Foundations ، Mathematical analysis
، Induction )Mathematics(
، Proof theory
QA
3
.
L28
no
.
897
TI
AU Buchholz, Wilfried 1948-
SE
CL
