Sovetsko-finskiĭ kollokvium po logike (2nd 1979 Moscow R.S.F.S.R.)