R.S.F.S.R.). Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike. (5th 1979 Novosibirsk