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

by Y V Glebskii, D I Kogan, M I Liogon’ki, V A Talanov
Venue:Cybernetics and Systems Analysis