TY  - BOOK
AU  - Черч А.
TI  - Введение в математическую логику: Пер. с  англ. 
PY  - 1960///
CY  - Москвa
PB  - Изд-во иностр.лит
KW  - მათემატიკური ლოგიკა
N1  - Доп. тит.л. на англ. яз
ER  -