Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel - Mostowski, Andrzej (Amsterdam : North-Holland Pub. Co., 1964)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; SEMANTICA (FILOSOFIA); TEOREMA DE GODEL