Смирнов, В. А..
Теория логического вывода /
В.А. Смирнов 
. - Москва : РОССПЭН,  1999 
. - 318 с.  22 см. 
<br/>К.: Бібліогр. : с. 305-314 
<br/><label>  ISBN: </label>5-8243-0046-1