Лекция 5. Гёделева нумерация
Лекция из курса:
Предыдущая лекция
4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11
Следующая лекция
6
Лекция 6. Параметрическая Δo-полнота
01:07:15