On a number-theoretic choice schema and its relation to induction (1970)

by C Parsons
Venue:Intuitionism and Proof Theory