Intuitionism : an introduction - Heyting, Arend, 1898- (Amsterdam : North-Holland Pub. Co., 1956)
Bibliography: p. 123-129.
Keywords: Logic, Symbolic and mathematical; Mathematics -- Methodology