Representability of recursively enumerable sets in formal theories.
Ehrenfeucht, A. ; Feferman, S.
Archiv für mathematische Logik und Grundlagenforschung, Tome 5 (1960), p. 37-41 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1960-01-01
EUDML-ID : urn:eudml:doc:137751 
@article{GDZPPN002042975,
     title = {Representability of recursively enumerable sets in formal theories.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {5},
     year = {1960},
     pages = {37-41},
     zbl = {0118.25102},
     url = {http://dml.mathdoc.fr/item/GDZPPN002042975}
}

Ehrenfeucht, A.; Feferman, S. Representability of recursively enumerable sets in formal theories.. Archiv für mathematische Logik und Grundlagenforschung, Tome 5 (1960) pp. 37-41. http://gdmltest.u-ga.fr/item/GDZPPN002042975/