Языки и исчисления

Языки и исчисления

Предваренная нормальная форма
Теорема Эрбрана

Сколемовские функции
Содержание раздела