TY  - BOOK
AU  - Гаврилов, Г.П.
TI  - Математическая логика
PY  - 1976///
CY  - Москва
PB  - Изд-во Моск. ун-та
KW  - Математическая логика
KW  - psbo
N2  - Список лит.: с. 73 (8 назв.)
ER  -