000 01492nam0a2200349 4500
001 RU\NLR\bibl\62934
005 20250616092218.0
010 _a5-88119-021-1
_91000
021 _aRU
_b99-42138
_92071
035 _a(NLR Aleph) 000061407
090 _a334651
_c334651
100 _a19991209d1999 |||y0rusy50 ca
101 0 _arus
102 _aRU
105 _ay |||||||||
200 1 _aКонструктивные модели
_fСергей С. Гончаров, Юрий Л. Ершов
210 _aНовосибирск
_cНауч. кн.
_d1999
215 _aXII, 345 c.
_d21
225 1 _aСибирская школа алгебры и логики
300 _aВ вып. дан. авт.: чл.-корр. РАН С.С. Гончаров, акад. Ю.Л. Ершов
320 _aБиблиогр.: с. 321-345 (393 назв.)
606 0 _aМодели в математической логике конструктивные
_91538704
_3RU\NLR\auth\66670808
606 0 _aКонструктивные модели
_92136933
_3RU\NLR\auth\661288447
686 _aВ127.1
700 1 _4070
_7ca
_8rus
_aГончаров
_bС. С.
_f1951-
_gСергей Савостьянович
_9217412
_3RU\NLR\AUTH\770217468
701 1 _aЕршов
_bЮ. Л.
_gЮрий Леонидович
_4070
801 0 _aRU
_bNLR
_c19991209
_gPSBO
801 1 _aRU
_bNLR
_c19991209
852 _aNLR
_j99-3/15737
942 _cBOOK
980 _aNB