%0 Journal Article %A V. A. Yankov %T On the realizable formulae of propositional logic %J Doklady Akademii Nauk %D 1963 %P 1035-1037 %V 151 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1963_151_5_a10/ %G ru %F DAN_1963_151_5_a10