Gaisi Takeuti, Bounded arithmetic and the polynomial hierarchy (1991)

by Jan Krajíček, Pavel Pudlák
Venue:Annals of Pure and Applied Logic