TY  - BOOK
AU  - Бабаев, А. А.
TI  - Применения методов теории доказательств в теории категорий
PY  - 2001///
CY  - Баку
PB  - Элм
ER  -