Lindenbaum-Tarski algebra

1. REDIRECT Lindenbaum–Tarski algebra

{{R from modification}}