Intuitionism an introd. - Heyting, Arend (North-Holland Publ., 1976)