Intuitionism : an introduction. - Heyting, Arend n. 1898 (North Holland, 1956)