Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

76 байт добавлено, 03:25, 15 января 2012

Нет описания правки

[[Лекция 6 | <<]][[~~Лекция 8~~ Геделева нумерация. Арифметизация доказательств | >>]]

[[Категория: Математическая логика]]

419

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16733»