ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Demostración, Teoría de la"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
(2003)El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...