302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
数理逻辑
2003年
2019
2018
2017
2016
2015
2014
2012
2010
2009
2008
全部
搜索分类
数理逻辑引论与归结原理
本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性...
2003.08
按中图号分类
中图号G634
9087
中图号G624
2577
中图号I247.5
2069
中图号G634.413
1407
中图号I267
1294
中图号H31
1206
中图号TP312
904
中图号G634.303
875
中图号TP391.41
739
中图号J222.7
716
中图号G624.203
714
中图号TP3
693
中图号I25
691
中图号I227
679
中图号F270
623
中图号H319.9
601
中图号H125.4
565
中图号H319.4：I
560
中图号G613
479
中图号H319.4
477
按出版社分类
机械工业出版社
2790
高等教育出版社
2080
清华大学出版社
1731
科学出版社
1682
新疆人民出版社
1278
电子工业出版社
1206
南方出版社
1176
青海人民出版社
1074
延边人民出版社
1060
中国人民大学出版社
879
化学工业出版社
868
龙门书局
844
人民邮电出版社
841
法律出版社
834
外语教学与研究出版社
759
北京大学出版社
758
中国农业出版社
713
中国财政经济出版社
706
中国建筑工业出版社
701
中国铁道出版社
688