عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
8870881660
dltt
Proof theory of impredicative subsystems of analysis /
[Book]
Wilfried Buchholz, Kurt Schütte
122 pages ;
25 cm
Studies in proof theory ;
2
Bibliography: pages 121-122
Mathematical analysis
Proof theory
Buchholz, Wilfried,1948-
Schütte, K., (Kurt)
19920213150608.0
rda
مطالعه متن کتاب [Book]
Y
