"谓词元逻辑" [wèicí yuán luójí] на русском - Китайско-русский словарь и переводчик