Смирнов, Владимир Александрович. <br/><br/>
Формальный вывод и логические исчисления / 
В.А. Смирнов ; Отв. ред. П.В. Таванец ; АН СССР. Ин-т философии. 
 - Москва :  Наука,  1972. 
 - 272 с. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Логика