Constructivity in mathematics : proceedings of the colloquium held at Amsterdam 1957 - Heyting, A. (North-Holland Publishing Company, 1959)