TY  - BOOK
AU  - Чёрч, А.
AU  - Чернявский, В. С.
AU  - Успенский, В. А.
TI  - Введение в математическую логику = Introduction to matematical logic. т.1
PY  - 1960///
CY  - М.
PB  - Издательство иностранной литературы
KW  - მათემატიკური ლოგიკა
N1  - Предметный указатель с 461-477; Именной указатель с 478-481
ER  -