Сборник статей. Перевод с английского Ю. Гастева и Г. Минца.
Под ред. и с предисловием С. Ю. Маслова.
Редакторы серии А.Н. Колмогоров, С.П. Новиков.
Сборник работ крупного американского специалиста по математической логике и основаниям математики. Представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательством новых глубоких результатов.
С о д е р ж а н и е. - Обзор теории доказательств. - Обзор теории доказательств II. - Как теория доказательств пришла к своим ординальным числам и как она приходит к ним теперь. - Некоторые приложения теории доказательств к поиску программ для ЭВМ. - Какие данные нужны для структурной теории доказательств.
Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ
Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
)
отличное;
В продаже с 08.10.2024
)
как новое;
В продаже с 15.10.2024
