TY  - BOOK
AU  - Драгалин,Альберт Григорьевич
TI  - Конструктивная теория доказательств и нестандартный анализ
SN  - 5-354-00388-1
PY  - 2003///
CY  - Москва
PB  - Едиториал УРСС
N1  - Текст на рус. и англ. яз; Библиогр. в конце разд., гл. и в тексте; Библиогр. трудов А.Г. Драгалина: с. 520-525; Имен. указ.: с. 526-529; Предм. указ.: с. 530-543
ER  -