TY - JOUR AU - V. V. Rimatskii TI - Table admissible inference rules JO - Algebra i logika PY - 2009 SP - 400 EP - 414 VL - 48 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2009_48_3_a4/ LA - ru ID - AL_2009_48_3_a4 ER -