TY  - JOUR
AU  - S. Feferman
TI  - Arithmetization of metamathematics in a general setting
JO  - Fundamenta Mathematicae
PY  - 1960
SP  - 35
EP  - 92
VL  - 49
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-49-1-35-92/
DO  - 10.4064/fm-49-1-35-92
LA  - en
ID  - 10_4064_fm_49_1_35_92
ER  -