عنوان
پدید آورنده
موضوع
رده
QA3،.L28,I84 1981
QA3
،.
L28
,
I84
1981
کتابخانه
محل استقرار
IR
18901
انگلیسی
IR
Iterated inductive definitions and subsystems of analysis
[Book]
:recent proof-theoretical studies
/ Wilfried Buchholz ... [et al.]
Berlin
, 1981.
v, 383 p.
:, charts
(Lecture notes in mathematics
; 897)
Print
Includes bibliographies
Mathematical analysis - Foundations
Induction (Mathematics)
Proof theory
510
s
QA3
.
L28
,
I84
1981
Buchholz, Wilfried,1948-
Title، Series: Lecture notes in mathematics (Springer-Verlag) ;897، .Series: Lecture notes in mathematics (Springer-Verlag) ;897
ایران
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
