Лекция 4. Кодирование примитивно-рекурсивных функций в PA
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2020-02-27-Kuznetsov-Stepan.jpg?3601)
3
Лекция 3. Китайская теорема об остатках
01:19:10
Следующая лекция
![](/img/hd/lecture/2020-03-12-Kuznetsov-Stepan.jpg?3603)
5
Лекция 5. Гёделева нумерация
01:25:17