Subsystems of true arithmetic and hierarchies of functions (1993)

by Z Ratajczyk
Venue:Annals of Pure and Applied Logic