000 00351nam a22000857a 4500
008 220921s2001 az ||||| |||| 00| 0 rus d
100 _aБабаев, А. А.
_9244948
245 _aПрименения методов теории доказательств в теории категорий /
_cА. А. Бабаев.
264 _aБаку :
_bЭлм,
_c2001.
999 _c615765
_d615763