DictionaryForumContacts

   Chinese English
Google | Forvo | +
一阶谓词逻辑
space first order predicate logic
tech. first-order predicate logic