Notas sobre la matemática formal e introducción a la teoría de conjuntos (1977)