Чень Ч. <br/><br/>
Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики) 
Чень Ч., Ли Р. 
 - М.  Наука  1983 
 - 358 с. 
<br/><br/><label>Dewey Class. No.: </label>510.6