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