Intuitionism An Introduction - Heyting A. (London Noth-Holland Publishing, 1956)