Конструктивная теория доказательств и нестандартный анализ
Автор:Драгалин А.Г. Год: 2003 Издание: Страниц: [не указано] ISBN: 5354003881, 5354003873 А.Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г. Драгалина по интуиционистской...
