عنوان
پدید آورنده
موضوع
رده
QA 9 .T84 1968
QA
9
.
T84
1968
کتابخانه
محل استقرار
32196
6217a
English
Troelstra, Anne Sjerp
Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
Berlin
Springer
1969
111 p
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 )p. 108-111(
A. S. Troelstra
، Intuitionistic mathematics
QA
9
.
T84
1968
AU
TI
SE
یاضه ریه دانشکدانابخکت
یاضه ریه دانشکدانابخکت
