Лекция 6. Теории с равенством
Лекция из курса:
Предыдущая лекция
5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42
Следующая лекция
7
Лекция 7. Элиминация кванторов
00:38:54