URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка -- Справочная книга по математической логике. Часть III. Теория рекурсии
Id: 127938
 

Справочная книга по математической логике. Часть III. Теория рекурсии. Ч. III

1982.
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

оглавление

Предисловие редактора русского перевода............В'»^

Введение......................¦. . . 7!в

Глава 1. ЭЛЕМЕНТЫ ТЕОРИИ РЕКУРСИИ. Герберт Б. Эндертон . . Щ

Глава 2. НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ. Мартин Девис.....51^

Глава 3. РАЗРЕШИМЫЕ ТЕОРИИ. Михаэль О. Робин......

Глава 4. СТЕПЕНИ НЕРАЗРЕШИМОСТИ. ОБЗОР РЕЗУЛЫАТОВ

Стивен Г. Симпсон.................119

Глава 5. ТЕОРИЯ а-РЕКУРСИИ Ричард А. Шор ........ IS

Глава 6. РЕКУРСИЯ В ВЫСШИХ ТИПАХ. Александр С. Кекрис, Ян-

нис И. Московакис.................

Глава 7. ВВЕДЕНИЕ В ТЕОРИЮ ИНДУКТИВНЫХ ОПРЕДЕЛИ-

НИИ Петер Ацел...............244,'.

Дополнение, АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ В ТЕОРИИ ПО- )

ЛЕЙ (положительные аспекты), Ю. Л. Ершов.....,,269^

Предметный указатель.................... 354.-

СПРАВОЧНАЯ КНИГА

ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

Часть П1

ТЕОРИЯ РЕКУРСИИ

Редактор В. В. Донченко

Технический редактор С. Я- Шкляр.

Корректор Т. С. Вайсберг

ИБ № 11561

Сдано в набор 09.03.82. Подписано к печати 21.10.82- Формат 60 x907,, Бумага

тип. № I. Литературная гарнитура. Высокая печать. Условн. печ. л. 22,5.

Уч.-изд. л 24,15, Тираж 20000 экэ. Заказ V« 2312 Чена 2 р.

Издательство «Наука-»

Главная редакция физико-математической литературы

117071, Москва, В-71, Ленинский проспект, 15.

Отпечатано с матриц Ленинградской типогоафни № 2 головного предприятия

в Ленинградской типографии № 4 ордена Трудового Красного Знамени Ленин»

градского обт^единения «Техническая книга» им, Евгении Соколовой Союзполи-

графпрома при Государственйом ко*1ИТете СССР по делам издательств, полигра-

фии и книжной торговли. 191126, Ленинград, Социалистическая ул., 14. '

 
© URSS 2016.

Информация о Продавце