Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов первой степени /  Ч. 1 
Р. И. Павиленис ; М-во высш. и сред. спец. образования ЛитССР. Вильнюс. госуниверситет им. В. Капсукаса. 
 - Вильнюс. :  Изд. гос ун-та,  1975. 
 - 166 с.  
<br/><br/>Библиогр. : с.158-161. 
<br/><br/><label>Universal Decimal Class. No.: </label>16(075.8)