Маслов, Сергей Юрьевич <br/><br/>
Теория дедуктивных систем и ее применения / 
С.Ю. Маслов. 
 - Москва :  Радио и связь ,  1986. 
 - 136 с. ;  20 см. 
 - Кибернетика .
<br/><br/><label>ISBN: </label> 00.45 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Исчислений теория<br/>Математическая логика