A formula with no recursively enumerable model

• 1 January 1955
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 42  (1) , 125-140
• https://doi.org/10.4064/fm-42-1-125-140

Abstract