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