TY  - BOOK
ED  - Всесоюзная конференция по математической логике
TI  - Третья Всесоюзная конференция по математической логике: 23-27 июня 1974 г. : Тезисы докладов 
PY  - 1974///
CY  - Новосибирск
PB  - Б. и.
KW  - Математическая логика
N1  - Библиогр. в конце ст
ER  -