عنوان
پدید آورنده
موضوع
رده
QA 299.8 .B83
QA
299
.
8
.
B83
کتابخانه
محل استقرار
Proof theory of impredicative subsystems of analysis
Napoli
Bibliopolis
c1988
122p
Studies in proof theory. Monographs; 2
Bibliography: p.121-122
ISBN: 8870881660
Wilfried Buchholz, Kurt Schutte
1
، Mathematical analysis -- Foundations
، Proof theory
QA
299
.
8
.
B83
Buchholz, Wilfried, 8491-
AU
AU Schutte, Kurt
TI
SE
