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