| Original language | English |
|---|---|
| Journal | Special Volume of the Workshop Proofs! held in Paris in 2017 |
| Publication status | Accepted/In press - 2020 |
| Externally published | Yes |
Proof theory for intuitionistic strong Löb logic
Iris van der Giessen, Rosalie Iemhoff
Research output: Contribution to journal › Special issue › peer-review