عنوان
پدید آورنده
موضوع
رده
QA 9 .S3 1971
QA
9
.
S3
1971
کتابخانه
محل استقرار
32312
Scarpellini, Bruno
Proof theory and intuitionistic systems
Berlin
Springer-Verlag
1971
vii, 290, ]1[ p. 26 cm.
Lecture notes in mathematics; 212
Includes bibliographical references )p. ]291[(
Bruno Scarpellini
، Intuitionistic mathematics
، Proof theory
511/
.
3
QA
9
.
S3
1971
AU
TI
SE
یاضه ریه دانشکدانابخکت
