Gödel's diagonalization technique and related properties of theories

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

A. Macintyre, H. Simmons Colloquium Mathematicum 28 (1973), 165-180 DOI: 10.4064/cm-28-2-165-180