Алгорифм машинного поиска естественного логического вывода в иссилении высказываний / 
Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.Перед. загл. авт. Н. А. Шанин , Г. В. Давидов, С. Ю. Маслов. 
 - М.:   наука,  1965. 
 - 39 с. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Index Terms: </label>ალგორითმი  ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>164