Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective,I. E. ...
確定! 回上一頁