A logical symbol represents an operation on predicate symbols and is notated ... For intuitionistic propositional logic this disjunction property [DP] was ...
確定! 回上一頁