Constructivity in mathematatics proceedings - Heyting A ed (1957)
Keywords: PHILOSOPHY