經(jīng)典邏輯與直覺主義邏輯

內(nèi)容概要

本書內(nèi)容廉顧經(jīng)典邏輯直覺主義邏輯兩方面,并且在最后一節(jié)通過歌德爾變換揭示兩者間的聯(lián)系。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    經(jīng)典邏輯與直覺主義邏輯 PDF格式下載

---