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

Wydawnictwa / Czasopisma IMPAN / Colloquium Mathematicum / Wszystkie zeszyty

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