Редактирование: Примитивно рекурсивные функции
Версия от 14:06, 17 ноября 2016; Shersh (обсуждение | вклад) (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
Предупреждение. Вы редактируете устаревшую версию данной страницы. После сохранения будут потеряны изменения, сделанные в последующих версиях.
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.