Смирнов, Владимир Александрович <br/><br/>
Формальный вывод и логические исчисления / 
АН СССР. Ин-т философии ;  В.А.Смирнов. 
 - Москва :  Наука,  1972. 
 - 271 с. 
<br/><br/><label>Subjects--Index Terms: </label>ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>16