Бабаев, А. А. <br/><br/>
Применения методов теории доказательств в теории категории / 
А. А. Бабаев. 
 - Баку :  Элм,  2001. 
 - 162 с. 
<br/><br/>Библиогр. : с. 154-159 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლიგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6