Arithmetization of metamathematics in a general setting
Feferman, S.
Fundamenta Mathematicae, Tome 48 (1960), p. 35-92 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1960-01-01
EUDML-ID : urn:eudml:doc:213578 
@article{bwmeta1.element.bwnjournal-article-fmv49i1p35bwm,
     author = {S. Feferman},
     title = {Arithmetization of metamathematics in a general setting},
     journal = {Fundamenta Mathematicae},
     volume = {48},
     year = {1960},
     pages = {35-92},
     zbl = {0095.24301},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv49i1p35bwm}
}

Feferman, S. Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, Tome 48 (1960) pp. 35-92. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv49i1p35bwm/