TY  - SER
TI  - Математическая логика и ее применения
PY  - 1981///-
CY  - Вильнюс
PB  - Ин-т математики и кибернетики
ER  -