Математическая логика и теория алгоритмов : 1982 / 
Отв. ред. С. Л. Соболев ; Труды ин-та математики. 
 - Новосибирск :  Наука,  1982. 
 - v. 
 - Труды Института математики   Т. 2 .
<br/><br/>Библиогр. в конце ст. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა ლოგიკა ალგორითმული პრობლემები კრებული 
<br/><br/><label>Universal Decimal Class. No.: </label>51(05)