VI Всесоюзная конференция по математической логике, Тбилиси, 30. xi - 2.xii. 1982 г. : Тез. докл.1982215 с.