Вид документа : Однотомное издание Шифр издания : 075763 51.01+1Н252+Pers.Драгалин А. Г./Д72 Автор(ы) : Драгалин, Альберт Григорьевич Заглавие : Конструктивная теория доказательств и нестандартный анализ Выходные данные : Москва: Едиториал УРСС, 2003 Колич.характеристики :543, [1] с.: портр. Примечания : Библиогр. ISBN (в пер.), Цена 5-354-00387-3: 125.00 р. УДК : 510.2 + 510.2:1 + 929Драгалин Предметные рубрики: математика-- математическая логика --Россия, 20 в., 1941-1998 гг. философия-- философия науки --Россия, 20 в., 1941-1998 гг. Ключевые слова (''Своб.индексиров.''): математическая логика--доказательств теория--нестандартный анализ--конструктивные методы--интуиционизм--персоналии--математики--философия математики Экземпляры :ОХФ(1) Свободны : ОХФ(1)