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

9
Лекция 9. Исчисление предикатов
01:28:33
Следующая лекция

11
Лекция 11. Элементарные теории
01:22:43