Lindenbaum–Tarski algebra

From Free net encyclopedia