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

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

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

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