Черч А. <br/><br/>
Введение в математическую логику. Ч. I. 
Черч А. 
 - М.  ИЛ  1960 
 - 484 с. 
<br/><br/><label>Dewey Class. No.: </label>510.6