On the concepts of completeness and interpretation of formal systems
Tom 39 / 1952
Fundamenta Mathematicae 39 (1952), 103-127
DOI: 10.4064/fm-39-1-103-127
