Tornar als detalls de l'article Sobre el programa de Hilbert i l'aritmètica formalment recursiva Baixa Descarrega el PDF