%0 Journal Article
%A A. Macintyre
%A H. Simmons
%T Gödel's diagonalization technique and related properties of theories
%J Colloquium Mathematicum
%D 1973
%P 165-180
%V 28
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/cm-28-2-165-180/
%R 10.4064/cm-28-2-165-180
%G en
%F 10_4064_cm_28_2_165_180