Intuitionism an introduction - Heyting, Arend 1898- (Studies in logic and the foundations of mathematics, 1966)