Лекция 8. Теорема Тарского-Зайденберга
Лекция из курса:
Предыдущая лекция

7
Лекция 7. Элиминация кванторов
00:38:54
Следующая лекция

9
Лекция 9. 17-я проблема Гильберта. Теорема Артина
01:06:25