scientific article
From MaRDI portal
Publication:3887459
zbMath0444.03034MaRDI QIDQ3887459
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subdirect irreducibilityimplicative BCK-algebrasclass calculuscomplete axiomatizabilityset difference operation
This page was built for publication: