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

4
Лекция 4. Логика предикатов
01:19:17
Следующая лекция

6
Лекция 6. Теории с равенством
01:18:35