Subjects: pseudo-m, pseudo-ci, pseudo-bch, pseudo-bck algebra; (translation) deductive system; congruence
Record details
Subjects: bck-algebra; bck-sequence; variety