Сергей Воронов

Грэйв. Добро пожаловать в город N

Код товара: 5159435

Электронная книга

Нет в продаже

Доступные форматы fb2.zip txt txt.zip rtf.zip a4.pdf a6.pdf mobi.prc epub ios.epub fb3

Найденных опечаток пока нет

Добавить запись

Товар находится в категориях

Просмотренные товары

Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств", и др.)

Конструктивная теория доказательств и... бумажная книга

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

28.9 USD

В корзину

Танковые сражения Второй мировой войны бумажная книга

Р. А. Жукова

Нет в продаже

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

бумажная книга

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

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

ISBN: 5-354-00388-1
Издательство: URSS
Дата выхода: январь 2003

28.9 USD

В корзину