Proceeding on constructivity in mathematics - Heyting A Ed. (1959)
Keywords: Philosophy of maths