عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.95
QA
3
.
L28
no
.
95
کتابخانه
محل استقرار
29636
بهار۹۸
English
)20(
Troelstra, A. S. )Anne Sjerp(
Principles of intuitionism
Berlin, Heidelberg, New York
Springer
1969
111 p.; 28 cm
Lecture notes in mathematics
95
"Lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY at Buffalo, N.Y."
Includes bibliographical references
، Intuitionistic mathematics
QA
3
.
L28
no
.
95
AU
]By[ A. S. Troelstra
TI
SE
02
