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