Intuitionism an introduction - Heyting, Arend (North-Holland, 1976)