Forcing in proof theory (2004)

by Jeremy Avigad
Venue:Bulletin of Symbolic Logic