ListarAlgebra por materia "Inducción (Lógica)"
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 ...