{"product_id":"конструктивная-теория-доказательств-и-нестандартный-анализ-математический-интуиционизм-введение-в-теорию-доказательств-и-др","title":"Конструктивная теория доказательств и нестандартный анализ. (\"Математический интуиционизм. Введение в теорию доказательств\", и др.)","description":"\u003cspan class=\"allbestus_mobile_hide\"\u003eHandling time: 30 days\u003c\/span\u003e А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина \"Математический интуиционизм. Введение в теорию доказательств\" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.\u003cbr\u003e\u003cbr\u003e\u003cspan class=\"allbestus_search_terms_hide\"\u003e#ASTTD# Search Terms: Драгалин А. Г. , Dragalin A. G. , Едиториал УРСС (URSS) , Editorial YRSS (URSS) , Русский , Rysskii , 9785354003884 , 978-5-354-00388-4 , 145808\u003c\/span\u003e","brand":"Едиториал УРСС (URSS)","offers":[{"title":"Новый","offer_id":46180250878116,"sku":"PRODUCT_145808_ID","price":67.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0663\/4933\/4692\/files\/27f5f5dd10ffe06c1a0df424dcc5203f.jpg?v=1725294820","url":"https:\/\/allbestus.com\/products\/%d0%ba%d0%be%d0%bd%d1%81%d1%82%d1%80%d1%83%d0%ba%d1%82%d0%b8%d0%b2%d0%bd%d0%b0%d1%8f-%d1%82%d0%b5%d0%be%d1%80%d0%b8%d1%8f-%d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2-%d0%b8-%d0%bd%d0%b5%d1%81%d1%82%d0%b0%d0%bd%d0%b4%d0%b0%d1%80%d1%82%d0%bd%d1%8b%d0%b9-%d0%b0%d0%bd%d0%b0%d0%bb%d0%b8%d0%b7-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%b8%d0%b9-%d0%b8%d0%bd%d1%82%d1%83%d0%b8%d1%86%d0%b8%d0%be%d0%bd%d0%b8%d0%b7%d0%bc-%d0%b2%d0%b2%d0%b5%d0%b4%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b2-%d1%82%d0%b5%d0%be%d1%80%d0%b8%d1%8e-%d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2-%d0%b8-%d0%b4%d1%80","provider":"Allbestus.com","version":"1.0","type":"link"}