Лекция 6. Теории с равенством
Лекция из курса:
Предыдущая лекция

5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42
Следующая лекция

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