A proof of the completeness theorem of Grödel

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

H. Rasiowa, Roman Sikorski Fundamenta Mathematicae 37 (1950), 193-200 DOI: 10.4064/fm-37-1-193-200