عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .S3813
QA
9
.
54
.
S3813
کتابخانه
محل استقرار
34914
englishus
Schutte, Kurt
proof theory
New York
Springer - Verlage
1977
xii, 302p.: , col.
Grundlehren der mathematischen Wissenschaften; 522
Translation of Beweistheorie
Includes index
bibliography: p.293-296
، Proof theory
QA
9
.
54
.
S3813
AU
Kurt Schutte; translation form the German by J. N. Crossley
TI
ه مرکزیانابخکت
