中文:
命题演算
英文翻译:
【计】
propositional calculus
statement calculus
中文:域关系演算英文翻译:【计】domain relational calculus...
中文:句子演算英文翻译:【计】sentential calculus...
中文:关系演算英文翻译:【计】relational calculus...
中文:元组演算英文翻译:【计】tuple calculus...
中文:二阶谓词演算英文翻译:【计】second-order predicate calculus...