scientific article
From MaRDI portal
Publication:3333018
zbMath0544.03010MaRDI QIDQ3333018
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic propositional logicsubstitution rulestructural completenessimplicational fragmentsdisjunction fragment
Related Items (1)
This page was built for publication: