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