Un cálculo de deducción axiomático, con aplicaciones a los principios de las matemáticas
por Moses Schönfinkel · 1924
Ver sugerenciasSinopsis
Es un trabajo sobre la lógica combinatoria, un sistema formal diseñado para eliminar la necesidad de variables en la lógica matemática. Presenta ideas fundamentales para la computación y la programación funcional, buscando una base más elemental y sin referencias a objetos específicos.
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.