1. Non-standard finite fields over I Δ0 + Ω1;D'Aquino;Israel J. Mathematics,2000
2. Quadratic forms in models of I Δ0 + Ω1;D'Aquino;I. Annals Pure Appl. Logic,2007
3. Combinatorial principles in elementary number theory;Berarducci;Annals Pure Appl. Logic,1991
4. Δ0-complexity of the relation y = Πi≤nF (i);Berarducci;Annals Pure Appl. Logic,1995
5. S. R. Buss Bounded Arithmetic. Revision of 1985 Princeton University Ph. D. thesis (Bibliopolis, 1986).