Bounded immunity and btt-reductions (1999)

by Stephen Fenner, Marcus Schaefer
Venue:Mathematical Logic Quarterly