Heyting A ed Constructivity in mathematatics proceedings - 1957 - Studies in logic and the foundations of mathamatics ed by L ED J Brouwer etc . Standard No.: 53,966 Source: Textual Subjects--Topical Terms: PHILOSOPHY Dewey Class. No.: R14p1:N57, J7