Buscar
Mostrando ítems 1-1 de 1
Tesis Doctoral
Inducción y recursión las teorías IDelta n+1(T) /
(1999)
En este trabajo se realiza un análisis de la conjetura de Friedman-Paris, acerca de la equivalencia entre los fragmentos de la Aritmetica de Peano obtenidos al restringir los esquemas de inducción y minimación a Formula ...