Source: wikibot/residuated-boolean-algebra

= Residuated Boolean algebra
{wiki=Residuated_Boolean_algebra}