Natural Numbers In Illative Combinatory Logic.
Bunder, M.W.
Revista colombiana de matematicas, Tome 19 (1985), p. 31-42 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1985-01-01
EUDML-ID : urn:eudml:doc:181744 
@article{GDZPPN002540819,
     title = {Natural Numbers In Illative Combinatory Logic.},
     journal = {Revista colombiana de matematicas},
     volume = {19},
     year = {1985},
     pages = {31-42},
     zbl = {0612.03012},
     url = {http://dml.mathdoc.fr/item/GDZPPN002540819}
}

Bunder, M.W. Natural Numbers In Illative Combinatory Logic.. Revista colombiana de matematicas, Tome 19 (1985) pp. 31-42. http://gdmltest.u-ga.fr/item/GDZPPN002540819/