"Сборник статей по математической логике и ее приложениям к некоторым вопросам кибернетики (Труды МИАН, Т. 51)" - читать интересную книгу автора (Яблонский С.В. (ред.))