逻辑与计算机科学哲学相关电子书下载

（美）卡尔纳普（R.Carnap）著；殷福生译1946 年出版58 页ISBN：

香港科技大学人文学部编1997 年出版258 页ISBN：9571508594

郑毓信，林曾著1987 年出版343 页ISBN：7216001427

Paul Tidman，Howard Kahane原著2004 年出版619 页ISBN：9867433149

黄斌著1999 年出版317 页ISBN：7536641095

周建设著2006 年出版196 页ISBN：7507726177

本书是张建设教授有关语义学的文章。

郭泽深著2006 年出版247 页ISBN：7500458835

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。

陆钟万著2002 年出版263 页ISBN：7030096576

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

叶锦明著2003 年出版238 页ISBN：9571511765

刘世英著2010 年出版249 页ISBN：7512002975