TY  - BOOK
AU  - Плюшкявичюс, Р.-Р.А.
TI  - Алгоритмические вопросы формальных систем
T2  - Математическая логика и ее применения
VL  - Вып. 4
PY  - 1985///
CY  - Вильнюс
PB  - Ин-т математики и кибернетики
N2  - Библиогр. в конце ст
ER  -