Gödel's diagonalization technique and related properties of theories
A. Macintyre ; H. Simmons
Colloquium Mathematicae, Tome 27 (1973), p. 165-180 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1973-01-01
EUDML-ID : urn:eudml:doc:265024 
@article{bwmeta1.element.desklight-8bd6a8c7-d547-43f0-b220-eda51556c1ad,
     author = {A. Macintyre and H. Simmons},
     title = {G\"odel's diagonalization technique and related properties of theories},
     journal = {Colloquium Mathematicae},
     volume = {27},
     year = {1973},
     pages = {165-180},
     zbl = {0288.02018},
     language = {deu},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-8bd6a8c7-d547-43f0-b220-eda51556c1ad}
}

A. Macintyre; H. Simmons. Gödel's diagonalization technique and related properties of theories. Colloquium Mathematicae, Tome 27 (1973) pp. 165-180. http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-8bd6a8c7-d547-43f0-b220-eda51556c1ad/