000 01016nam a2200277 i 4500
001 000030227
003 RuMoIPM
005 20260402124405.0
008 031218s2003----ru c rus
020 _a5-354-00388-1
020 _a5-354-00387-3
040 _aRuMoIPM
_brus
_ercr
041 0 _arus
_aeng
080 _a510.7
080 _a510.25
100 1 _aДрагалин, Альберт Григорьевич
245 1 _aКонструктивная теория доказательств и нестандартный анализ
_cА. Г. Драгалин
260 _aМосква
_bЕдиториал УРСС
_c2003
300 _a543 с.
_bпортр.
500 _aТекст на рус. и англ. яз.
504 _aБиблиогр. в конце разд., гл. и в тексте
504 _aБиблиогр. трудов А.Г. Драгалина: с. 520-525
504 _aИмен. указ.: с. 526-529
504 _aПредм. указ.: с. 530-543
942 _cBK
999 _c30227
_d30227