Notes on Polynomially Bounded Arithmetic (1996)

by Domenico Zambella
Venue:Journal of Symbolic Logic