出版時(shí)間:1989 出版社:上海人民出版社 作者:馮棉 Tag標(biāo)簽:無
內(nèi)容概要
本書內(nèi)容廉顧經(jīng)典邏輯直覺主義邏輯兩方面,并且在最后一節(jié)通過歌德爾變換揭示兩者間的聯(lián)系。
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載
經(jīng)典邏輯與直覺主義邏輯 PDF格式下載
250萬本中文圖書簡介、評論、評分,PDF格式免費(fèi)下載。 第一圖書網(wǎng) 手機(jī)版
京ICP備13047387號-7