The role of parameters in bar rule and bar induction (1991)

by M Rathjen
Venue:The Journal of Symbolic Logic