Каковы основные операции формальной системы комбинаторной логики?
Каковы основные компоненты формальной теории комбинаторной логики?
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
В чем состоит основное назначение комбинаторной логики?
В чем состоит преимущество комбинаторной логики перед классической?
Что из перечисленного является этапом развития комбинаторной логики?
Что отличает аксиомы комбинаторной логики от прочих утверждений?
Какая операция категориальной комбинаторной логики эквивалентна цитированию?
Каковы необходимые требования для построения категориальной комбинаторной логики?
Сколько базисов комбинаторов существует в комбинаторной логике?
