scientific article
From MaRDI portal
Publication:3342633
zbMath0549.08004MaRDI QIDQ3342633
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Finitely Boolean Representable Varieties
This page was built for publication: