Proof-theoretic analysis of restricted induction schemata (1971)

by Charles Parsons
Venue:Meetings of the Association for Symbolic Logic (Gaisi Takeuti, ed.), Association for Symbolic Logic