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


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

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