Arithmetization of metamathematics in a general setting
Tom 49 / 1960
Fundamenta Mathematicae 49 (1960), 35-92
DOI: 10.4064/fm-49-1-35-92
