TY  - BOOK
AU  - Heyting, A
TI  - Constructivity in mathematics
PY  - 1959///
CY  - AMSTERDAM
PB  - NORTH-HOLLAND PUBLISHING COMPANY
KW  - MATHEMATICS
ER  -