Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Δ1 formulas"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      On axiom schemes for T-provably Δ1 formulas 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2014)
      This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...