Лекция 6. Теории с равенством
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2021-10-22-Yavorskaya.jpg?7124)
5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42
Следующая лекция
![](/img/hd/lecture/2021-11-12-Yavorskaya-2.jpg?7126)
7
Лекция 7. Элиминация кванторов
00:38:54