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