TY  - JOUR
AU  - V. V. Rybakov
AU  - V. R. Kiyatkin
AU  - T. Oner
TI  - Residual Finiteness for Admissible Inference Rules
JO  - Algebra i logika
PY  - 2001
SP  - 593
EP  - 618
VL  - 40
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2001_40_5_a6/
LA  - ru
ID  - AL_2001_40_5_a6
ER  -