Finite injury and Σ1-induction (1989)

by M E Mytilinaios
Venue:J. Symbolic Logic