TY - JOUR AU - F. L. Varpakhovskii TI - On a~class of realizable propositional formulas JO - Zapiski Nauchnykh Seminarov POMI PY - 1971 SP - 8 EP - 23 VL - 20 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a1/ LA - ru ID - ZNSL_1971_20_a1 ER -