Чень, Ч. <br/><br/>
Математическая логика и автоматическое доказательство теорем :  Пер. с англ. / 
Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1983. 
 - 360 с. ;  22 см. 
 - Математическая логика и основания математики .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика