Arithmetization of metamathematics in a general setting

• 1 January 1960
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 49  (1) , 35-92
• https://doi.org/10.4064/fm-49-1-35-92

Abstract