A proof of the completeness theorem of Grödel

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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