Fragments of arithmetic (1985)

by W Sieg
Venue:Annals of Pure and Applied Logic