Лямбда-исчисление обладает свойством полноты по Тьюрингу в комплексе
(Отметьте один правильный вариант ответа.)
Варианты ответа
с гамма-маркировкой
с альфа-терминацией
с бета-редукцией(Верный ответ)