ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Δ1 formulas"
Mostrando ítems 1-1 de 1
-
Artículo
On axiom schemes for T-provably Δ1 formulas
(Springer, 2014)This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...