TY - JOUR AU - S. S. Marchenkov TI - Existence of superposition bases in countable primitive-recursively closed classes of one-place functions JO - Matematičeskie zametki PY - 1980 SP - 877 EP - 883 VL - 27 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1980_27_6_a4/ LA - ru ID - MZM_1980_27_6_a4 ER -