Лекция 8. Теорема Тарского-Зайденберга
Лекция из курса:
Лекция 8. Теорема Тарского-Зайденберга
Предыдущая лекция
7
Лекция 7. Элиминация кванторов
00:38:54
Следующая лекция
9
Лекция 9. 17-я проблема Гильберта. Теорема Артина
01:06:25