点击购买此书全本PDF电子书
一、引言 1
二、解释推导 14
三、还原推导 54
四、演绎与类比推导 67
五、辩证推导 117
六、衡平推导 133
七、结语 144
附录 自然推理系统PN 153
案例索引 185
关键词索引 187
主要参考文献 195
后记 197