Intuitionism : an introduction. - Heyting, Arend n. 1898 (Studies in logic and foundations of mathematics, 1956)