А.Г. Драгалин

Математическая логика

А.Н. Колмогоров, А.Г. Драгалин

А.Н. Колмогоров (1903-1987) и А.Г. Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы", содержащие классическое изложение понятий и...

Математическая логика. 2-е издание

А.Н. Колмогоров, А.Г. Драгалин

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

А.Г. Драгалин

А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина явилась первым...

Математическая логика

А.Н. Колмогоров, А.Г. Драгалин