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

by Y Glebskii, D Kogan, M Liogon’kii, V Talanov
Venue:Cybernetics