bn:00051859n
Noun Concept
Categories: Formal systems, Logical truth, Metatheory, Legal reasoning, Proof theory
EN
logical proof
Definitions
Relations
Sources
IS A
WordNet 3.0 & Open English WordNet
Wikipedia Redirections