"带恒等式的谓词演算" [dài héngděngshì de wèicí yǎnsuàn] на русском - Китайско-русский словарь и переводчик