una rama de la l贸gica formal en la que las variables se eliminan en funci贸n de simbolos de funci贸n.
(Haack, 1978).
La l贸gica combinatoria es la l贸gica 煤ltima y como tal puede ser un modelo simplificado del c贸mputo, usado en la teor铆a de la computabilidad (el estudio de qu茅 puede ser computado) y la teor铆a de la prueba (el estudio de qu茅 se puede probar matem谩ticamente).
(Wikipedia).