返回首页 联系帮助
数理逻辑发展史 从莱布尼茨到哥德尔
下载此书RAR压缩包在线购买PDF电子书
张家龙著1993 年出版446 页ISBN：7800503984
离散数学习题集 数理逻辑与集合论分册
耿素云编著1993 年出版382 页ISBN：7301019904
数理逻辑 证明及其限度
郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...
墨家逻辑与亚里士多德逻辑比较研究 兼论逻辑与文化
崔清田著2004 年出版331 页ISBN：7010044376
1963年全国数理逻辑专业学术会议论文选集
中国电子学会电子计算机专业委员会编1965 年出版130 页ISBN：15034·869
哲学逻辑与逻辑哲学
冯棉等著1991 年出版153 页ISBN：7561706340
数理和应用逻辑文集
张锦文主编1992 年出版165 页ISBN：7301018916
传统逻辑与现代逻辑
上海市逻辑学会编1994 年出版300 页ISBN：7800774716
逻辑与逻辑学
潘梓年著2222 年出版199 页ISBN：
逻辑与数学逻辑论
汪奠基著民国 年出版268 页ISBN：
