Сложностные проблемы математической логики: сборник научных трудов (Калинин, [Б. и.], 1985)