The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics

From MaRDI portal
(Redirected from Publication:692319)