On n-quantifier induction (1972)

by C Parsons
Venue:The Journal of Symbolic Logic