TY - JOUR AU - S. S. Marchenkov TI - Existence of superposition bases in countable primitively recursively closed classes JO - Matematičeskie zametki PY - 1986 SP - 268 EP - 276 VL - 39 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1986_39_2_a11/ LA - ru ID - MZM_1986_39_2_a11 ER -