polaco
Moses Schönfinkel fue un matemático y lógico polaco conocido por sus contribuciones a la lógica matemática y la teoría de conjuntos. Es relevante por ser uno de los pioneros en el desarrollo del cálculo combinatorio y la teoría de funciones.
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.
Aparecen junto a Moses Schönfinkel en búsquedas del archivo
