Чёрч, А. <br/><br/>
Введение в математическую логику = Introduction to matematical logic. т.1 / 
А. Чёрч ; Перевод с англ. В. С. Чернявского ; Под ред. В. А. Успенского. 
 -  Издательство иностранной литературы,  1960. 
 - 486с. 
<br/><br/>Предметный указатель с 461-477. Именной указатель с 478-481. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>510