Tornar als detalls de l'article
A direct proof of Gödel's incompleteness theorems
Descarrega el PDF