Deducibility and independence in Beklemishev's autonomous provability calculus | Publicación