TY  - BOOK
AU  - Heyting A Ed.
TI  - Proceeding on constructivity in mathematics
U1  - B:R1z7, J9-;1 
PY  - 1959///
KW  - Philosophy of maths
ER  -