A note on the # 2 --induction rule (1995)

by U Kohlenbach
Venue:Arch. Math. Logic