عنوان
پدید آورنده
موضوع
رده
QA 9.54 .S3813
QA
9
.
54
.
S3813
کتابخانه
محل استقرار
2207
Schutte, K.)Kurt(
Proof theory
Berlin ; New York
Springer-Verlag
,1977
xii, 302 p. 25 cm.
Grundlehren der mathematischen Wissenschaften ;522
ISBN: 0387079114
Translation of Beweistheorie.
Bibliography: p. ]293[-296.
Includes index.
Beweistheorie.English
، Proof theory
QA
9
.
54
.
S3813
AU
Kurt Schutte ; translation from the German by J. N. Crossley
TI
ه مرکزیانابخن کتش التیبخ
