数理逻辑基础与粒计算相关电子书下载

朱逸芬等1981 年出版163 页ISBN：

林世钏编译1984 年出版618 页ISBN：

林世钏编译1984 年出版304 页ISBN：

刘明业编著1985 年出版439 页ISBN：15031·627

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

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

徐书润，胡国定编著1998 年出版189 页ISBN：703006268X

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

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

陈洪陶，朱绍文编著1990 年出版90 页ISBN：731100344X

胡世华，陆钟万1981 年出版228 页ISBN：13031·1320

胡世华，陆钟万著1982 年出版434 页ISBN：13031·1948