Constructivity in mathematics ; proceedings / - Heyting, A. (North-Holland Pub. Co.,, 1959)