bn:03643194n
Noun Named Entity
EL
No term available
EN
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Wikipedia
Relations
Sources