Constructivity in mathematics : PROCEEDINGS OF THE COLLOQUIUM HELD AT AMSTERDAM, 1957. - Heyting, Arend (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 1959)