谓词演算语言 Большой китайско-русский словарь Поделиться: Большой китайско-русский словарь _ predicate calculus language
