TY  - JOUR
AU  - A. S. Anikeev
TI  - Classification of derivable propositional formulas
JO  - Matematičeskie zametki
PY  - 1972
SP  - 165
EP  - 174
VL  - 11
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1972_11_2_a5/
LA  - ru
ID  - MZM_1972_11_2_a5
ER  -