TY - JOUR AU - V. A. Sokolov TI - On the existence problem of finite bases of identities in the algebras of recursive functions JO - Modelirovanie i analiz informacionnyh sistem PY - 2020 SP - 304 EP - 315 VL - 27 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2020_27_3_a1/ LA - ru ID - MAIS_2020_27_3_a1 ER -