INTUITIONISM:an introduction - HEYTING,A (AMSTERDAM NORTH-HOLLAND, 1971)