Notes on polynomially bounded arithmetic (1996)

by D Zambella
Venue:The Journal of Symbolic Logic