Lughet
›
›
→
intuitionist logic — English to Chinese Translation