A formula with no recursively enumerable model

Instytut Matematyczny Polskiej Akademii Nauk / Institute of Mathematics / 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