TY - JOUR AU - A. I. Omarov TI - Locally finite countable-category Horn theories JO - Algebra i logika PY - 1989 SP - 444 EP - 453 VL - 28 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1989_28_4_a5/ LA - ru ID - AL_1989_28_4_a5 ER -