La Teoría de Tipos: Una Introducción Informal
por P. M. Neale · 1978
Sinopsis
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.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda