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

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

А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г....

Автор А. Г. Драгалин
Издательство Едиториал УРСС
Язык русский
Год 2003
ISBN 5-354-00388-1 5-354-00387-3
Тираж 600
Переплёт Твердый переплет
Количество страниц 544
Модель 755/Mf
Страна-изготовитель Польша
Код товара 9785354003884
509
Купить »
В других магазинах:
История цены: