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