TY  - RPRT
TI  - Proof Theory for Intuitionistic Strong Löb Logic
AU  - Iris van der Giessen
AU  - Rosalie Iemhoff
PY  - 2023
UR  - https://arxiv.org/abs/2011.10383
ID  - 2011.10383
ER  -