TY  - RPRT
TI  - Deducibility and Independence in Beklemishev's Autonomous Provability Calculus
AU  - David Fernández-Duque
AU  - Eduardo Hermo Reyes
PY  - 2020
UR  - https://arxiv.org/abs/2008.13445
ID  - 2008.13445
ER  -