0
0руб.

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

телефон

8 (495) 133 - 59 - 27

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

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

Серия:

Код Sprinter: 2783997

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

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

8 (495) 133-59-27

Следите за акциями и спецпредложениями,
участвуйте в викторинах, опросах и коллективных скидках, получайте призы!

Rambler's Top100
Рейтинг @Mail.ru

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

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

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

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

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

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

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