Intuitionism : an introduction - Heyting A (Amsterdam North-Holland, 1956)
Keywords: Intuitive mathematics; Mathematical logic