Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 1. Примитивно-рекурсивные функции
Лекция из курса:
Математическая логика. Часть 2
Кузнецов Степан Львович