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

潘沁著2019 年出版180 页ISBN：9787307212107

鞠实儿，梁庆寅等主编1999 年出版512 页ISBN：7306015419

吴允曾著；康奉主编1991 年出版321 页ISBN：7530404687

林正弘著1985 年出版186 页ISBN：

2222 年出版0 页ISBN：

沈恩绍著2003 年出版198 页ISBN：7030110471

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...

倪鼎夫1974 年出版0 页ISBN：

（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

（加）斯图亚特·G·杉克尔主编；江怡，许涤非，张志伟等译2017 年出版505 页ISBN：7300246017

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。