Fingerprint
Dive into the research topics of 'Sequent calculi for intuitionistic Gödel-Löb logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Sequent calculi for intuitionistic Gödel-Löb logic
Iris van der Giessen, Rosalie Iemhoff
Research output: Contribution to journal › Article › peer-review
5
Downloads
(Pure)