0
0руб.

привезём 22 ноября,бесплатно от 3000 руб.

телефон

8 (495) 133-59-27

время работы

Пн-Пт: 9:00 - 20:00

Конструктивная теория доказательств и нестандартный анализ
new

Конструктивная теория доказательств и нестандартный анализ

819р.

Издательство: URSS

Серия:

Код Sprinter: 2783997

18+
819р.

рассчитать с доставкой
до Москва

в наличии
Купить
А.Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г. Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е. Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г. Драгалина - С.Н. Артемова, Э.Б. Баялинова, А.С. Бойцова, Б.А. Кушнера, Г.Е. Минца, Е.Ю. Ногиной, А. Трулстра, В.Б. Шехтмана. Аналитический обзор основных результатов А.Г. Драгалина представлен в предисловии Н.Н. Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
  • Издательство: URSS
  • Год: 2003
  • Страниц: 544
  • Обложка: твердый переплет
  • ISBN: 5-354-00388-1
  • Том: 1
  • Возрастная категория: 18+
Задать вопрос / добавить отзыв

Авторизуйтесь чтобы добавить свой вопрос или отзыв. Если Вы не регистрировались, кликните здесь

Скидка 15% на наборы Happy Plant
8 (495) 133-59-27

Sprinter.ru - доставка по Москве, Санкт-Петербургу, Екатеринбургу, Казани, Нижнему Новгороду, Новосибирску, Ростову-на-Дону

Создание сайта

Все права защищены © 2006-2017 Sprinter.ru ®

Персональные данные используются на сайте в целях его функционирования, и если Вы не согласны, то должны покинуть сайт.

Продолжение пребывания на сайте будет являться Вашим согласием на возможное использование персональных данных.

Добро пожаловать

Нет аккаунта? Зарегистрируйтесь.

Запомнить меня
или
Зайти с Facebook Зайти с ВКонтакте