Логика и компьютер: Моделирование рассуждений и проверка правильности программ / 
[Н. А. Алешина [и др.]];Академия наук СССР . 
 -  Наука,  1990. 
 - 238 с.  ил.  20 см 
 - Кибернетика - неограниченные возможности и возможности ограничения .
<br/><br/>Библиогр.: с. 231-234. 
<br/><br/><label>ISBN: </label>5020071560 
<br/><br/><label>Subjects--Index Terms: </label>საანგარიშო მანქანები, ელექტრონული პირადი მათემატიკური ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6 004