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