Range and degree of realizability of formulas in the restricted predicate calculus (1969)

by Y V Glebskii, D I Kogan, M I Liogonki, V A Talanov
Venue:Cybernetics