Справочная книга по математической логике. Часть III. Теория рекурсии
Под редакцией Дж.Барвайса. Перевод с английского. Под редакцией Ю. Ершова.
1 290 р.
Минимальный заказ у этого продавца – 1 р.
Издательство: Наука
Место издания: Москва
Тип переплёта: твёрдый
Год издания: 1982
Формат: Обычный
Состояние: Очень хорошее
Количество страниц: 360
На остатке: 1
1 290 р.
Минимальный заказ у этого продавца – 1 р.
Аннотация
В книге изложены: Элементы теории рекурсии, Неразрешимые проблемы, Разрешимые теории, Степени неразрешимости.Обзор результатов, Теория альфа - рекурсии. Рекурсия в высших типах, Введение в теорию индуктивных определений, Алгоритмические проблемы в теории полей.
Продавец laparastyapa предлагает скидки:
10% от стоимости заказа при числе товаров: 10
10% от стоимости заказа при сумме заказа: 25000 р.
(2020 продаж с 2019 г.)
Оплата: Только предоплата
Способы оплаты:
- Unistream;
- Western Union;
- Банковский перевод;
- Золотая Корона;
- Наличными из рук в руки;
- Оплата на карту СБЕРБАНКА;
- Перевод на банковскую карту;
- Почтовый перевод;
- Яндекс.Деньги;
Доставка: По России и за границу
Способы доставки:
- почта России;
- самовывоз : Центр;
- курьер: Санкт- Петербург;
- транспортная компания: При доставке транспортной компанией курьерские услуги от 150 рублей.;
Стоимость доставки:
- По тарифам Почты России + упаковка
Отправка заказов:
- Отправка в течении 5 дней
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Высылаются для книг дороже 2500 р.
- До заказа
Торг по цене:
- при заказе на сумму от 5000 руб.
Хранение неоплаченных заказов:
- 3 (дней)
Аннотация
В книге изложены: Элементы теории рекурсии, Неразрешимые проблемы, Разрешимые теории, Степени неразрешимости.Обзор результатов, Теория альфа - рекурсии. Рекурсия в высших типах, Введение в теорию индуктивных определений, Алгоритмические проблемы в теории полей.
Аналогичные книги смотрите в разделах: