Нравится LibRing?
Расскажи друзьям:
Драгалин А.Г.

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

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

Книгу можно купить в интернет-магазинах:

· OZON.ru 962р. [Проверить наличие]
· Books.ru 343р. [Проверить наличие]
· Библион 682р. [Проверить наличие]
· My-Shop 659р. [Проверить наличие]
· SetBook 650р. [Проверить наличие]
ISBN: 5-354-00388-1, 5-354-00387-3, 978-5-354-00388-4
Издательство: Едиториал УРСС
Год издания: 2003
Страниц: 544
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина...
Посмотрите другие книги этой тематики: