13425
3607
Trolstra, Anne Sjerp
Principles of intuitionism
Berlin; New York
Springer-Verlag
1969
111p
Lecture notes in mathematics; 59
Bibliography: p. 108-111
"Lectures presented at the summer conference on intuitionism and proof theory ]1968[ at SUNY at Buffalo, N.Y."
A.S.Troelstra
Intuition
، Logic, Symbolic and mathematical
QA
3
.
L28
no
.
95
AU
TI
SE
SCنوجی
CL
