%0 Journal Article %A V. E. Plisko %T Some variants of the notion of realizability for predicate formulas %J Doklady Akademii Nauk %D 1976 %P 61-64 %V 226 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1976_226_1_a14/ %G ru %F DAN_1976_226_1_a14