TY  - JOUR
AU  - F. L. Varpakhovskii
TI  - The non-realizability of disjunction of non-realizable formulae of the propositional calculus
JO  - Doklady Akademii Nauk
PY  - 1965
SP  - 1257
EP  - 1258
VL  - 161
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1965_161_6_a1/
LA  - ru
ID  - DAN_1965_161_6_a1
ER  -