Черч, А. <br/><br/>
Введение в математическую логику. Т.1 / 
А. Черч ; Пер. с анг. В. С. Чернявского. 
 - Москва :  Изд-во иностр.лит,  1960. 
 - 485 с. 
<br/><br/> Доп. тит.л. на англ. яз. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა მათემატიკური ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>51