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

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

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

---