Predicative Fragments of Frege Arithmetic. (2004)

by Ø Linnebo
Venue:Bulletin of Symbolic Logic,