Finite injury and Σ1-induction (1989)

by Michael E Mytilinaios
Venue:Journal of Symbolic Logic