A Theory Of Variable Types.
Feferman, Solomon
Revista colombiana de matematicas, Tome 19 (1985), p. 95-106 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1985-01-01
EUDML-ID : urn:eudml:doc:181749 
@article{GDZPPN00254086X,
     title = {A Theory Of Variable Types.},
     journal = {Revista colombiana de matematicas},
     volume = {19},
     year = {1985},
     pages = {95-106},
     zbl = {0615.03045},
     url = {http://dml.mathdoc.fr/item/GDZPPN00254086X}
}

Feferman, Solomon. A Theory Of Variable Types.. Revista colombiana de matematicas, Tome 19 (1985) pp. 95-106. http://gdmltest.u-ga.fr/item/GDZPPN00254086X/