符号逻辑计算的设计及应用

• Design and Application of the Symbol Logic Calculates