Un cálculo de deducción axiomático, con aplicaciones a los principios de las matemáticas

Sinopsis

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.