Lughet
third order predicate logic — English to Chinese Translation | Lughet