Intuitionism an introduction - Heyting, Arend (North-Holland Publ. Co., 1971)