On the concepts of completeness and interpretation of formal systems

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

G. Kreisel Fundamenta Mathematicae 39 (1952), 103-127 DOI: 10.4064/fm-39-1-103-127