عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.897
QA
3
.
L28
Vol
.
897
کتابخانه
محل استقرار
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Berlin
Springer-Verlag
1981
v, 383p.: ill
Lecture notes in mathematics; 798
Bibliography: p. ]358[-368
ISBN: 3540111700
Wilfried Buchholz ... ]et al.[
1
، Mathematical analysis -- Foundations
، Induction )Mathematics(
، Proof theory
QA
3
.
L28
Vol
.
897
TI
AU Buchholz, Wilfried, 1948-
SE
