Intuitionism : an introduction - Heyting, A. (Studies in logic and the foundatons of mathematics, 1956)