Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 - Heyting, A. (Arend), 1898- (North-Holland, 1959)