Geodesic
Some models of combinatory logic
Matematičeskie zametki, Tome 19 (1976) no. 1, pp. 149-154 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {1976},
     volume = {19},
     number = {1},
     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
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
%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/