«命题演算»

命题演算 в энциклопедиях

Поделиться

Большой китайско-русский словарь

_

calculus of propositions, propositional calculus, sentential calculus