X-1990-08: L.D. Beklemishev Provability Logics for Natural Turing Progressions of Arithmetical Theories 1.Full Text. < Back
