返回首页 联系帮助
数理逻辑的思想和方法
下载此书RAR压缩包在线购买PDF电子书
昂扬编著1991 年出版230 页ISBN：7309006682
本书系统地讲解了数理逻辑的思想与方法
代数与数理逻辑 王世强文集
李仲来主编2005 年出版320 页ISBN：7303074945
集合论与数理逻辑初步
陈淑敏编1984 年出版185 页ISBN：13217·126
数理逻辑实验教程
李娜编著2010 年出版271 页ISBN：9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
数理逻辑
汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
数理逻辑与范畴论应用
王世强，孟晓青著1999 年出版377 页ISBN：7303048553
国家自然科学基金教育部博士点基金资助项目。
数理逻辑论文选 第1辑
外文书店编辑1958 年出版582 页ISBN：
逻辑-逻辑的性质与逻辑的方法导论
何秀煌著1984 年出版558 页ISBN：
面向计算机科学的数理逻辑
陆钟万著1998 年出版258 页ISBN：7030060652
陆钟万著1989 年出版240 页ISBN：7301008287
