Инвентарный номер: 195148 - кх.
   51
   Д 72


    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ответственный редактор Г. Е. Минц ; предисловие Н. Н. Непейвода ; вступительная статья С. Н. Артемов [и др.] ; вводная статья В. Б. Шехтман. - Москва : УРСС, 2003. - 543 с. - Часть тр. на англ. яз. - Библиогр.: с. 219-230.- Прил.: с. 513-525.- Указ.: с. 526-543 . - ISBN 5-354-00387-3 : 247.28 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА

Инвентарный номер: 216082 - кх.
   51
   К 60


    Колмогоров, Андрей Николаевич.
    Математическая логика. Введение в математическую логику : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. А. В. Ломоносова. - Москва : [Едиториал УРСС], [2013]. - 233, [1] с. - (Классический университетский учебник). - Библиогр.: с. 224. - Предм. указ.: с. 225-234. - ISBN 978-5-354-01449-1 : 484.00 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ВЫСШАЯ МАТЕМАТИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА

Инвентарный номер: 216083 - кх.
   51
   К 60


    Колмогоров, Андрей Николаевич.
    Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. А. В. Ломоносова. - Москва : [Едиториал УРСС], [2013]. - 236, [1] с. - (Классический университетский учебник). - Библиогр.: с. 227. - Предм. указ.: с. 229-237. - ISBN 978-5-354-01448-4 : 484.00 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ВЫСШАЯ МАТЕМАТИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА