Foundations of intutionistic mathematics - Kleene S C; Vesley R E (Amsterdam North-Holland, 1965)
Keywords: Intuitive mathematics