TY  - JOUR
AU  - A. I. Citkin
TI  - On admissible rules of intuitionistic propositional logic
JO  - Sbornik. Mathematics
PY  - 1977
SP  - 279
EP  - 288
VL  - 31
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/SM_1977_31_2_a10/
LA  - en
ID  - SM_1977_31_2_a10
ER  -