TY  - BOOK
AU  - Гладкий, А.В.
TI  - Язык математической логики
PY  - 1977///
CY  - Калинин
PB  - Калинин. ун-т
KW  - Математическая логика
KW  - rkp
ER  -