TY  - RPRT
TI  - Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule, and a Correction
AU  - Nils Kürbis
PY  - 2023
DO  - 10.1007/s00153-021-00775-6
UR  - https://arxiv.org/abs/2108.03939
ID  - 2108.03939
ER  -