TY - JOUR AU - S. S. Marchenkov TI - Definability in the language of functional equations of a~countable-valued logic JO - Diskretnaya Matematika PY - 2013 SP - 13 EP - 23 VL - 25 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_2013_25_4_a1/ LA - ru ID - DM_2013_25_4_a1 ER -