عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.897
QA
1
.
L4
v
.
897
کتابخانه
محل استقرار
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, 798
Bibliography: p. 358-368
Bibliography: p. )358(-368
Includes index
Wilfried Buchholz ... )et al.(
1
، Mathematical analysis - Foundations
، Induction )Mathematics(
، Proof theory
QA
1
.
L4
v
.
897
CA
510
s
TI
AU Buchholz, Wilfried 1948-
SE
