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

by Y V Glebskii, D I Kogan, M I Ligon'kii, V A Talanov