Intuitionism : an introduction - Heyting, A. (North-Holland Publishing Company, 1956)