bn:03888373n
Noun Concept
AR
No term available
EN
In mathematical logic, the Lindenbaum–Tarski algebra of a logical theory T consists of the equivalence classes of sentences of the theory. Wikipedia
Relations
Sources