Конструктивная теория доказательств и нестандартный анализ (книга)
Конструктивная теория доказательств и нестандартный анализ | |
Автор: | Драгалин А.Г. |
---|---|
Оригинал издан: | 2003 |
«Конструктивная теория доказательств и нестандартный анализ» — книга 2003 года.
Содержание |
Содержание 
От издателя 
«А.Г.Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по…»