Intuitionism. - Heyting, Arend (North-Holland Publishing Company, 1956)