Proof-theoretic analysis of restricted induction schemata (abstract (1971)

by C Parsons
Venue:J. Symbolic Logic