Geodesic
Existence of superposition bases in countable primitively recursively closed classes
Matematičeskie zametki, Tome 39 (1986) no. 2, pp. 268-276.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{MZM_1986_39_2_a11,
     author = {S. S. Marchenkov},
     title = {Existence of superposition bases in countable primitively recursively closed classes},
     journal = {Matemati\v{c}eskie zametki},
     pages = {268--276},
     publisher = {mathdoc},
     volume = {39},
     number = {2},
     year = {1986},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1986_39_2_a11/}
}
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  - 
%0 Journal Article
%A S. S. Marchenkov
%T Existence of superposition bases in countable primitively recursively closed classes
%J Matematičeskie zametki
%D 1986
%P 268-276
%V 39
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1986_39_2_a11/
%G ru
%F MZM_1986_39_2_a11
S. S. Marchenkov. Existence of superposition bases in countable primitively recursively closed classes. Matematičeskie zametki, Tome 39 (1986) no. 2, pp. 268-276. http://geodesic.mathdoc.fr/item/MZM_1986_39_2_a11/