Книга: А.Г. Драгалин «Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств",и др.)»
А.Г.Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философииматематики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской... Издательство: "URSS" (2003)
ISBN: 5-354-00388-1 |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
А. Г. Драгалин | Конструктивная теория доказательств и нестандартный анализ | А. Г. Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и… — Едиториал УРСС, (формат: 60x90/16, 544 стр.) Подробнее... | 2003 | 1124 | бумажная книга |
Драгалин А.Г. | Конструктивная теория доказательств и нестандартный анализ | А. Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и… — URSS, - Подробнее... | 2003 | 819 | бумажная книга |
А. Г. Драгалин | Конструктивная теория доказательств и нестандартный анализ | А. Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и… — Едиториал УРСС, (формат: 60x90/16, 544 стр.) Подробнее... | 2003 | 1059 | бумажная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия