%0 Journal Article %A V. E. Plisko %T Realizable predicate formulae %J Doklady Akademii Nauk %D 1973 %P 553-556 %V 212 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1973_212_3_a7/ %G ru %F DAN_1973_212_3_a7