Geodesic
Some models of combinatory logic
Matematičeskie zametki, Tome 19 (1976) no. 1, pp. 149-154.

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

Some models for the weak theory of combinators are described. These models consist of partial functions having natural number arguments and natural number values. The role of the application operation is played by certain $\mu$-recursive operators. 
@article{MZM_1976_19_1_a16,
     author = {D. Skordev},
     title = {Some models of combinatory logic},
     journal = {Matemati\v{c}eskie zametki},
     pages = {149--154},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {1976},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1976_19_1_a16/}
}
TY  - JOUR
AU  - D. Skordev
TI  - Some models of combinatory logic
JO  - Matematičeskie zametki
PY  - 1976
SP  - 149
EP  - 154
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1976_19_1_a16/
LA  - ru
ID  - MZM_1976_19_1_a16
ER  - 
%0 Journal Article
%A D. Skordev
%T Some models of combinatory logic
%J Matematičeskie zametki
%D 1976
%P 149-154
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1976_19_1_a16/
%G ru
%F MZM_1976_19_1_a16
D. Skordev. Some models of combinatory logic. Matematičeskie zametki, Tome 19 (1976) no. 1, pp. 149-154. http://geodesic.mathdoc.fr/item/MZM_1976_19_1_a16/