Лекция 5. Теорема Гёделя о полноте логики первого порядка
Лекция из курса:
Лекция 5. Теорема Гёделя о полноте логики первого порядка
Предыдущая лекция
4
Лекция 4. Логика предикатов
01:19:17
Следующая лекция
6
Лекция 6. Теории с равенством
01:18:35