scientific article; zbMATH DE number 7585728
From MaRDI portal
Publication:5104721
Publication date: 15 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesssequent calculusactualityintuitionistic modal logicempirical negationglobal intuitionistic logic
Related Items (1)
This page was built for publication: