Лекция 15. Теорема Эрбрана
Лекция из курса:
Предыдущая лекция

14
Лекция 14. Интуиционистская логика
01:37:05
Следующая лекция

16
Лекция 16. Метод резолюций и логическое программирование
02:13:29