Subsystems of set Theory and Second Order Number Theory (1998)

by W Pohlers
Venue:Handbook of Proof Theory, Elsevier