Intuitionism : an introduction. - Heyting, Arend n. 1898 (Amsterdam : North Holland, 1956)
Bibliografia: p. [123]-129.
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; MATEMATICAS -- METODOS DE ENSEÑANZA