相干與衍推邏輯

定　價：￥8.20

ISBN：	9787208015326	出版時間：	1993-08-01	包裝：
開本：	20cm	頁數(shù)：	254頁	字數(shù)：

　　本書論述了以R和E為代表的相干與衍推命題邏輯系統(tǒng)及與R、E相近的其它一些系統(tǒng)，并對各個邏輯系統(tǒng)的基本特性、系統(tǒng)的相互關(guān)系作了考察。

暫缺《相干與衍推邏輯》作者簡介

暫缺《相干與衍推邏輯》目錄

掃描二維碼