Գրեք սա: Четвертая Всесоюзная конференция по математической логике :