В12 Д721 Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ [Текст] : монография / А. Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. - Текст рус., англ. - Имен. указ.: с. 530-543. - Библиогр. в конце разд. - 600 экз.. -
Рубрики: Доказательств теория Нестандартный анализ Интуиционистская логика--математическая Драгалин Альберт Григорьевич--математик Кл.слова (ненормированные): Математическая логика Экземпляры всего: 1 02 (1) Свободны: 02 (1) |