000			00599nam a22001817a 4500
003			Ge_NSL
005			20160621150947.0
008			160621s2001 aj ||||| |||| 00| 0 rus d
041			_arus
080			_a510.6
100			_aБабаев, А. А.
245			_aПрименения методов теории доказательств в теории категории / _cА. А. Бабаев.
264			_aБаку : _c2001. _bЭлм,
300			_a162 с.
504			_aБиблиогр. : с. 154-159
653			_aმათემატიკური ლიგიკა
942			_2udc _cBK
999			_c63854 _d63854