Болтянский В.А. / Труды математического института им. В.А.Стеклова: Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики