@article{10_4064_fm_49_1_35_92,
     author = {S. Feferman},
     title = {Arithmetization of metamathematics in a general setting},
     journal = {Fundamenta Mathematicae},
     pages = {35--92},
     publisher = {mathdoc},
     volume = {49},
     number = {1},
     year = {1960},
     doi = {10.4064/fm-49-1-35-92},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-49-1-35-92/}
}