عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.897
QA
3
.
L28
no
.
897
کتابخانه
محل استقرار
77770
تابستان۰۹
English
)20(
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Berlin
Springer-Verlag
1981
v, 383 p.: ill.; 25 cm
Lecture notes in mathematics
897
Includes bibliographical references and index
Foundations ، Mathematical analysis
، Induction )Mathematics(
، Proof theory
QA
3
.
L28
no
.
897
TI
Wilfried Buchholz ... ]et al.[
AU deirfliW ,zlohhcuB 1948-
SE
02
