TY - JOUR AU - L. A. Pomortsev TI - Algebraic interpretation of derivation axioms completeness JO - Fundamentalʹnaâ i prikladnaâ matematika PY - 2002 SP - 195 EP - 219 VL - 8 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/FPM_2002_8_1_a15/ LA - ru ID - FPM_2002_8_1_a15 ER -