Sobre el teorema de gÁ¶del: una construcción artimética y funcional de sistemas con proposiciones formalmente indecidibles. el teorema del isomorfismo aritmético-funcional

Tesis doctoral de álvarez Cañas Ignacio José En este trabajo se implican las conclusiones de gí¶del, mediante el estudio de […]

, , , , ,