- Добавил: Bookstream
- Дата: 29-06-2020, 17:31
- Комментариев: 0
Название: Конструктивная теория доказательств и нестандартный анализ
Автор: А. Драгалин
Издательство: УРСС
Год: 2003
Формат: djvu
Страниц: 543
Размер: 10 Мб
Язык: русский
А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем.