Страницы, ссылающиеся на «Арифметические функции и отношения. Их выразимость в формальной арифметике»
Следующие страницы ссылаются на «Арифметические функции и отношения. Их выразимость в формальной арифметике»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Примитивно рекурсивные функции  (← ссылки)
 - Геделева нумерация. Арифметизация доказательств  (← ссылки)