Bounded existential induction (1985)

by G Wilmers
Venue:The Journal of Symbolic Logic