On n-quantifier induction, jsl 37 (1972)

by C Parsons