Intuitionism : an introduction. - Heyting, A. (Arend), 1898- (Amsterdam : North-Holland Publishing Company, 1966)
Bibliography : p. 123-133.
Keywords: Logic, Symbolic and mathematical; Mathematics -- Methodology