عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.212
QA
3
.
L28
Vol
.
212
کتابخانه
محل استقرار
Proof theory and intuitionistic systems
Berlin
Springer-Verlag
c1971
vii, ]291[p
Lecture notes in mathematics; 212
Bibliography: p. ]291[
ISBN: 354005541X
Bruno Scarpellini
1
، Intuitionistic mathematics
، Proof theory
QA
3
.
L28
Vol
.
212
Scarpellini, Bruno
AU
TI
SE
