Что понимается под ламбда-исчислением?
(Отметьте один правильный вариант ответа.)
Варианты ответа
теория для формализации синтаксиса языка
теория для формализации обозначений и переобозначений(Верный ответ)
теория для формализации семантики языка