Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости Р.К. Пранк — 1981 Algebra i Logika