Поиск книг, содержащих Общерекурсивные функции, расширенная клиниева формализация (recursive functions, Kleene characterization extended) :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Общерекурсивные функции, расширенная клиниева формализация (recursive functions, Kleene characterization extended)

Книга	Страницы для поиска
Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость	170; см. также «Рекурсивно относительно», «Релятивизация»

О проекте