Рекурсивные функции, представимость в формальной арифметике
Версия от 14:06, 17 ноября 2016; Shersh (обсуждение | вклад) (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
Страница-перенаправление
Перенаправление на: