Intuitionism an introduction An introd. - Heyting, Arend (North-Holland Publ.Comp., 1971)