TY  - JOUR
AU  - V. V. Rybakov
TI  - Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus
JO  - Izvestiya. Mathematics 
PY  - 1991
SP  - 693
EP  - 703
VL  - 37
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1991_37_3_a11/
LA  - en
ID  - IM2_1991_37_3_a11
ER  -