عنوان
پدید آورنده
موضوع
رده
511 .3 C748 1968
511
.
3
C748
1968
کتابخانه
محل استقرار
206188
انگلیسی
IR
Intuitionism and proof theory; Proceedings of the Summer Conference at Buffalo N. Y. 1968
[book]
/ edited by A. Kino, J. Myhill, R. E. Vesley
London
: North-Holland Pub. Co.
، 1970, 1970
viii, 516 p
Studies in logic and the foundations of mathematics
Includes bibliographies
Logic, symbolic and mathematical - Congresses
511
.
3
C748
1968
QA
.
9
.
C74
1968
Kino, A.
Myhill, J.
New York, State University, Buffalo
Conference on Intuitionism and Proof theory, State University of New York at Buffalo
، 1968
creator
creator
creator
author
Vesley R. E.
ایران
QA .9 .C74 1968
Previous cataloging
BL
1
Y
