bn:03888373n
Noun Concept
PT
lindenbaum-tarski álgebra
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
Wikipedia Translations