88单词
词典收录词

second-order predicate calculus

[计] 二阶谓词演算

发音使用有道词典音频接口;音频不可用时自动回退到浏览器语音。