Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Название: Конструктивная теория доказательств и нестандартный анализ
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2003
Страниц: 544
ISBN: 5-354-00388-1
Язык: Русский
Формат: DjVu
Качество: хорошее
Размер: 8 Мб
А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Дата создания страницы: