Логіка комбінаторна

спосіб побудови логічної системи з термами як послідовностями комбінаторів (аналогами функцій) і формулами як твердженнями про їхню рівність