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