TY  - BOOK
AU  - Heyting A ed
TI  - Constructivity in mathematatics :  proceedings
T2  - Studies in logic and the foundations of mathamatics ed by L ED J Brouwer etc
U1  - R14p1:N57, J7 
PY  - 1957///
KW  - PHILOSOPHY
ER  -