Some relations between subsystems of arithmetic and the complexity of computations (1992)

by P PUDLXK
Venue:in Logic From Computer Science: Proceedings of a Workshop held November 13-17, 1989, Mathematical Sciences Research Institute Publication :21