Terms for subject Mathematics containing logic

English	Chinese
arithmetic/logic	算术/逻辑运算
categorical logic	范畴逻辑
high-order logic	高阶逻辑
infinitary logic	无穷逻辑
interface logic	接口逻辑
intuitionist logic	直觉主义逻辑
logic diagram	逻辑图表
logic diagram	逻辑图解
machine logic	机器逻辑
multivalue logic	多值逻辑
probabilistic logics	概率逻辑
probability logic	概率逻辑
topological logic	拓扑逻辑