圖書內容簡介

沒有圖書簡介

圖書目錄

目 錄

一、引言
二、解釋推導
三、還原推導
四、演繹與類比推導
五、辯證推導
穴、衡平推導
七、結語
附錄 自然推理系統
案例索引
關鍵詞索引
主要參考文獻
后記