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

by P Pudl'ak
Venue:in Logic from Computer Science