Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library
@article{DEME_1994__36_a14, author = {George Boolos}, title = {M\ensuremath{\iota}\ensuremath{\alpha} \ensuremath{\nu}\ensuremath{\acute\epsilon}\ensuremath{\alpha} \ensuremath{\alpha}\ensuremath{\pi}\'{o}\ensuremath{\delta}\ensuremath{\varepsilon}\ensuremath{\iota}\ensuremath{\xi}\ensuremath{\eta} \ensuremath{\tau}o\ensuremath{\upsilon} \ensuremath{\theta}\ensuremath{\varepsilon}\ensuremath{\omega}\ensuremath{\rho}\ensuremath{\acute\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}o\ensuremath{\varsigma} \ensuremath{\mu}\ensuremath{\eta} \ensuremath{\pi}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\rho}\'{o}\ensuremath{\tau}\ensuremath{\eta}\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\varsigma} \ensuremath{\tau}o\ensuremath{\upsilon} {Godel.}}, journal = {\ensuremath{\Delta}\ensuremath{\varepsilon}\ensuremath{\lambda}\ensuremath{\tau}\ensuremath{\acute\iota}o \ensuremath{\tau}\ensuremath{\eta}\ensuremath{\varsigma} E\ensuremath{\lambda}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\nu}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} E\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\iota}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha}\ensuremath{\varsigma} }, pages = {61-65}, publisher = {mathdoc}, volume = {36}, year = {1994}, language = {gr}, url = {http://geodesic.mathdoc.fr/item/DEME_1994__36_a14/} }
George Boolos. Μια νέα απόδειξη του θεωρήματος μη πληρότητας του Godel.. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας , Tome 36 (1994), p. 61-65. http://geodesic.mathdoc.fr/item/DEME_1994__36_a14/