302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
数理逻辑－英文
2006年
2008
2006
全部
搜索分类
应用逻辑：第2版
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。...
2006.
按中图号分类
中图号G634
15217
中图号G624
5180
中图号I247.5
2821
中图号G634.413
1386
中图号J222.7
1295
中图号H31
1269
中图号I267
1208
中图号TP391.41
955
中图号TP3
885
中图号I227
880
中图号TP312
877
中图号G613
789
中图号G634.303
659
中图号G624.243
646
中图号G624.203
599
中图号F270
588
中图号J214
583
中图号G634.415
559
中图号I25
543
中图号B848.4-49
524
按出版社分类
机械工业出版社
3315
清华大学出版社
2145
高等教育出版社
2077
北京教育出版社
2072
科学出版社
1773
光明日报出版社
1618
化学工业出版社
1617
电子工业出版社
1595
人民邮电出版社
1488
北京大学出版社
1314
远方出版社
1200
中国电力出版社
1103
人民卫生出版社
1095
陕西人民教育出版社
1057
内蒙古人民出版社
1050
内蒙古少年儿童出版社
1045
中国人民大学出版社
1007
中国建筑工业出版社
979
新疆人民出版社
965
中国农业出版社
948