Heyting A Ed. Proceeding on constructivity in mathematics - 1959 - p. cm. Standard No.: 63778 Source: Textual Subjects--Topical Terms: Philosophy of maths Dewey Class. No.: B:R1z7, J9-;1