Geodesic
Natural Numbers In Illative Combinatory Logic.
Revista colombiana de matematicas, Tome 19 (1985), pp. 31-42.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : theory of natural numbers, illative combinatory logic, recursion operator, Peano axioms, paradoxical combinator 
@article{RCM_1985__19_181744,
     author = {M.W. Bunder},
     title = {Natural {Numbers} {In} {Illative} {Combinatory} {Logic.}},
     journal = {Revista colombiana de matematicas},
     pages = {31--42},
     publisher = {mathdoc},
     volume = {19},
     year = {1985},
     zbl = {0612.03012},
     url = {http://geodesic.mathdoc.fr/item/RCM_1985__19_181744/}
}
TY  - JOUR
AU  - M.W. Bunder
TI  - Natural Numbers In Illative Combinatory Logic.
JO  - Revista colombiana de matematicas
PY  - 1985
SP  - 31
EP  - 42
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1985__19_181744/
ID  - RCM_1985__19_181744
ER  - 
%0 Journal Article
%A M.W. Bunder
%T Natural Numbers In Illative Combinatory Logic.
%J Revista colombiana de matematicas
%D 1985
%P 31-42
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1985__19_181744/
%F RCM_1985__19_181744
M.W. Bunder. Natural Numbers In Illative Combinatory Logic.. Revista colombiana de matematicas, Tome 19 (1985), pp. 31-42. http://geodesic.mathdoc.fr/item/RCM_1985__19_181744/