1989], Finite injury and Σ1-induction (0)

by M E Mytilinaios
Venue:J. Symbolic Logic