Лекция 5. Теорема Гёделя о полноте логики первого порядка
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2021-10-15-Yavorskaya.jpg?7123)
4
Лекция 4. Логика предикатов
01:19:17
Следующая лекция
![](/img/hd/lecture/2021-11-12-Yavorskaya-1.jpg?7125)
6
Лекция 6. Теории с равенством
01:18:35