302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
谓词逻辑
2017年
2017
搜索分类
谓词抽象研究
本书分为两部分，第一部分为谓词抽象的逻辑研究。作者认为谓词抽象的本质是一种形式辖域装置，它使得证明模...
2017.12
按中图号分类
中图号G634
25127
中图号G624
14837
中图号G613
5354
中图号I247.5
5295
中图号I287.8
4943
中图号I267
3960
中图号I227
3556
中图号G613.2
1863
中图号G613.3
1739
中图号G624.243
1631
中图号I287.45
1532
中图号G624.203
1532
中图号J222.7
1527
中图号G898.2
1484
中图号I287.7
1459
中图号G634.413
1413
中图号I712.85
1368
中图号G624.565
1246
中图号G613.7
1242
中图号G634.303
1232
按出版社分类
科学出版社
4806
清华大学出版社
3254
团结出版社
3254
人民邮电出版社
3142
吉林大学出版社
3001
机械工业出版社
3000
商务印书馆
2853
电子工业出版社
2817
化学工业出版社
2562
吉林出版集团股份有限公司
2555
新疆青少年出版社
2544
延边大学出版社
2532
上海交通大学出版社
2353
黑龙江美术出版社
2350
中国社会科学出版社
2255
外语教学与研究出版社
2209
高等教育出版社
2177
江苏凤凰美术出版社
2145
北京联合出版公司
2123
江苏凤凰文艺出版社
2072