Санкт-Петербургский Дом Книги
СПРАВОЧНАЯ СЛУЖБА:
(812) 448-23-55
ИНТЕРНЕТ-МАГАЗИН:
(812) 448-78-88
Купить книгу Конструктивная теория доказательств и нестандартный анализ.
  • Конструктивная теория доказательств и нестандартный анализ.

  • ISBN: 5-354-00387-3, 5-354-00388-1
  • Издательство: М.:ЕДИТОРИАЛ УРСС
  • Год издания: 2003
  • Тираж: 600 экз.
  • Тип обложки: ПЕРЕПЛЕТ
  • Объем: 504 страницы
Отсутствует в продаже
Ваше имя:
Ваш телефон:
ИЛИ e-mail:
Оплата:
Оповестить при поступлении в продажу

ОПИСАНИЕ

А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.







Интернет-магазин Дома Книги рад представить Вашему вниманию книгу "Конструктивная теория доказательств и нестандартный анализ." из раздела "Науковедение. Прогностика. Футурология". Перед покупкой книги Вы можете ознакомиться с информацией о ней и номером ISBN 5-354-00387-3, 5-354-00388-1. Доставка книги осуществляется почтой РФ, самовывозом, а также курьером по Санкт-Петербургу.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.




МЫ В СОЦИАЛЬНЫХ СЕТЯХ:
ВАША ДИСКОНТНАЯ КАРТА:
ПРОВЕРКА НАКОПЛЕНИЙ:
ВВЕДИТЕ НОМЕР ВАШЕЙ ДИСКОНТНОЙ КАРТЫ