Драгалин А.Г.: Конструктивная теория доказательств и нестандартный анализ (Математический интуиционизм: Введение в теорию доказательств, и др. )
Скачать книгу (размер 2 768 Kb , формат fb2, страниц 544) Аннотация: А.Г.Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина «Математический…