本书介绍了数字与编码，逻辑代数等。
2004.04
本书主要介绍半符号化推理演绎体系的基本理论及其应用。
2004.
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。