TY  - BOOK
ED  - Академия наук СССР. Сибирское отделение
TI  - Третья Всесоюзная конференция по математической логике: [Тезисы докладов]
PY  - 1974///
CY  - Новосибирск
PB  - [ИМ]
KW  - psbo
KW  - Математическая логика
N1  - Указ. авт.: с. 236-237; Библиогр. в конце докл
ER  -