Provability, Computability and Reflection, Volume 79

Lev D. Beklemishev , P.G. Hinman