عنوان
پدید آورنده
موضوع
رده
QA 299.8 .I85 1981
QA
299
.
8
.
I85
1981
کتابخانه
محل استقرار
43909
English
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Berlin ; New York
Springer-Verlag
1981
v, 383 p. : ill. ; 25 cm
Lecture notes in mathematics
897
Includes index
Bibliography: p. ]358[-368
Wilfried Buchholz ... ]et al.[
، Mathematical analysis -- Foundations
، Induction )Mathematics(
، Proof theory
QA
299
.
8
.
I85
1981
TI
AU deirfliW ,zlohhcuB 1948-
SE
یاضه ریه دانشکدانابخکت
