Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Formulas"
Now showing items 1-1 of 1
-
Article
On the quantifier complexity of Δ n+1 (T)– induction
(Springer, 2004)In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...