Помогите найти статью: Глебский Ю. В., Коган Д. И., Лиогонький М. И., Таланов В. А. Объем и доля выполнимости формул узкого исчисления предикатов // Кибернетика, № 2, 1969.
или же
Y. V Glebskii, D. I. Kogan, M. I. Liogon'kii, V. A. Talanov, Range and degree of realizability of formulas in the restricted predicative calculus 2: 17-28, 1969. [Engl. Transl. Cybernetics, vol. 5, 142-154 (1972)].
Спасибо
|