TY  - JOUR
AU  - V. A. Yankov
TI  - On the realizable formulae of propositional logic
JO  - Doklady Akademii Nauk
PY  - 1963
SP  - 1035
EP  - 1037
VL  - 151
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1963_151_5_a10/
LA  - ru
ID  - DAN_1963_151_5_a10
ER  -