Lughet
›
›
→
completeness of rules of inference — English to Chinese Translation | Lughet