Лекция 7. Элиминация кванторов
Лекция из курса:
Предыдущая лекция
6
Лекция 6. Теории с равенством
01:18:35
Следующая лекция
8
Лекция 8. Теорема Тарского-Зайденберга
00:55:02