A formal derivation in a calculus which involves logical rules, and the main outcome ... see Logical calculus; Logico-mathematical calculus.
確定! 回上一頁