TY  - JOUR
AU  - V. V. Rybakov
TI  - Bases of admissible rules of the modal system Grz and of intuitionistic logic
JO  - Sbornik. Mathematics
PY  - 1987
SP  - 311
EP  - 331
VL  - 56
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/SM_1987_56_2_a2/
LA  - en
ID  - SM_1987_56_2_a2
ER  -