Лекция 7. Элиминация кванторов
Лекция из курса:
Предыдущая лекция

6
Лекция 6. Теории с равенством
01:18:35
Следующая лекция

8
Лекция 8. Теорема Тарского-Зайденберга
00:55:02