bn:26691463n
Noun Concept
FR
No term available
EN
In logic, the formal analysis of logical terms and operators and the structures that make it possible to infer true conclusions from given premises. Open English WordNet
Relations
Sources
IS A