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

       

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

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

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