La Teoría de Tipos: Una Introducción Informal
1978·no ficcion
Este libro introduce de manera accesible la teoría de tipos, una base alternativa a la teoría de conjuntos para los fundamentos de la matemática y la lógica, desarrollada por Bertrand Russell, evitando las paradojas de la teoría de conjuntos.