Source: /wikibot/lindenbaum-tarski-algebra

= Lindenbaum–Tarski algebra
{wiki=Lindenbaum–Tarski_algebra}