Подробное описание документа

Драгалин А. Г.
   Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр. в конце тем. - ISBN 5-354-00388-1. - ISBN 5-354-00387-3.

Аннотация

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

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика

Общее кол-во в фондах

2 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313