TY  - JOUR
AU  - D. P. Skvortsov
TI  - The occurrence of an implication in finitely valid, intuitively improvable formulas of propositional logic
JO  - Matematičeskie zametki
PY  - 1976
SP  - 383
EP  - 390
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1976_20_3_a9/
LA  - ru
ID  - MZM_1976_20_3_a9
ER  -