302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
可计算性－理论－教材－英文
2003年
2003
搜索分类
可计算性与数理逻辑
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写...
2003.06
按中图号分类
中图号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