عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.95
QA
3
.
L28
Vol
.
95
کتابخانه
محل استقرار
Principles of intuitionism
Berlin
Springer-Verlag
c1969
111p.: ill
Lecture notes in mathematics; 59
"Lectures presented at the Summer Conference on Intuitionism and Proof Theory )1968( at SUNY at Buffalo, N.Y."
Bibliography: p. 108-111
A. S. Troelstra
1
، Intuition
، Logic, Symbolic and mathematical
QA
3
.
L28
Vol
.
95
Troelstra, Anne Sjerp
AU
TI
SE
