Лекция 5. Гёделева нумерация
Лекция из курса:
Предыдущая лекция

4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11
Следующая лекция

6
Лекция 6. Параметрическая Δo-полнота
01:07:15