A formula with no recursively enumerable model

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

Andrzej Mostowski Fundamenta Mathematicae 42 (1955), 125-140 DOI: 10.4064/fm-42-1-125-140