Лекция 4. Логика предикатов
Лекция из курса:
Предыдущая лекция
3
Лекция 3. Свойства интуиционистской логики
01:06:37
Следующая лекция
5
Лекция 5. Теорема Гёделя о полноте логики первого порядка
00:57:42