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

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

Теорема Эрбрана - 2
Сколемовские функции
Содержание

---

---

---

---