La Teoría de Tipos: Una Introducción Informal
por P. M. Neale · 1978
Ver sugerenciasSinopsis
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
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.