Source: /wikibot/bck-algebra

= BCK algebra
{wiki=BCK_algebra}