Intuitionism an introduction - Heyting, Arend (North-Holland Publ., 1976)
Auf dem Cover: Third revised edition.