Exponentiation and second-order bounded arithmetic (1990)

by J Krajcek
Venue:Annals of Pure and Applied Logic