Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Классы элементарных рекурсивных функций
Глава II. Функции, элементарные по Сколему, и классы Гжегорчика
Поставить закладку
§ 2.1. Ограниченная рекурсия и нумерационные функции
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 7 стр. из этой главы.
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Глава I. Ограниченно арифметические и рудиментарные предикаты
+
Глава II. Функции, элементарные по Сколему, и классы Гжегорчика
-
§ 2.1. Ограниченная рекурсия и нумерационные функции
§ 2.2. Функции. элементарные по Сколему
§ 2.3. Классы Гжегорчика
§ 2.4. Соотношение между классами Бк* и Е0
§ 2.5. Функции. элементарные по Кальмару
Задачи и темы для дальнейших исследований
Глава III. Машинное описание классов
+
Глава IV. Простой базис по суперпозиции в классе Е2
+
Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*