Intuitionism ; an introduction. - Heyting, A. (North-Holland Pub. Co.,, 1956)