TY  - BOOK
ED  - "Применение методов мат. логики", конф.
TI  - III конференция "Применение методов математической логики", Таллин, 4-7 сентября 1983 г
PY  - 1983///
CY  - Таллин
PB  - Б. и.
N2  - Библиогр. в конце докл
ER  -