TY - JOUR AU - S. I. Mardaev TI - Definability of Least Fixed Points JO - Algebra i logika PY - 2002 SP - 429 EP - 458 VL - 41 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2002_41_4_a2/ LA - ru ID - AL_2002_41_4_a2 ER -