Поиск книг, учебников, пособий в онлайн-магазинах
Я ищу
Название книги, автор, издатель, серия или ISBN
Конструктивная теория доказательств и нестандартный анализ (Математический интуиционизм. Введение в теорию доказательств, и др.)

Конструктивная теория доказательств и нестандартный анализ (Математический интуиционизм. Введение в теорию доказательств, и др.)

Автор: А. Г. Драгалин, 544 стр., издатель: "Эдиториал УРСС", ISBN: 5-354-00388-1

А.Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г. Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е. Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г. Драгалина - С.Н. Артемова, Э.Б. Баялинова, А.С. Бойцова, Б.А. Кушнера, Г.Е. Минца, Е.Ю. Ногиной, А. Трулстра, В.Б. Шехтмана. Аналитический обзор основных результатов А.Г. Драгалина представлен в предисловии Н.Н. Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
В наличии:
My-shop.ru My-shop.ru - 659 руб. Перейти
 
My-shop.ru My-shop.ru - 845 руб. Перейти
 
Рейтинг книги: starstarstarstarstar 5 из 5, 10 голос(-ов).

Популярные книги по минимальной цене:

Бремя идолов: роман
58 руб.
Прилив
119 руб.
«Фонд» для России. Что было, что будет
119 руб.
Волки и овцы. Ход свиньёй. Большой праздник. Раскраска
74 руб.

Дополнительно: