Бабаев, А. А. <br/><br/>
Применения методов теории доказательств в теории категорий / 
А. А. Бабаев. 
 - Баку :  Элм,  2001.