Лекция 13. Формальная арифметика
Лекция из курса:
Предыдущая лекция

12
Лекция 12. Теория моделей
01:41:15
Следующая лекция

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