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 "Initial segments"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      Envelopes, indicators and conservativeness 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2006)
      A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...