数理逻辑引论与归结原理 | 2版
9787030228994
Guo-Jun Wang, Hong-Jun Zhou著
数学名著译丛
O141
科学出版社
2009-04
2009
2009
Introduction to Mathematical Logic Resolution Principle,Second Edition,in nine chapters,discusses Boolean algebra theory,propositional calcu

点赞(0) 打赏

评论列表 共有 0 条评论

暂无评论
立即
投稿

微信公众账号

微信扫一扫加关注

发表
评论
返回
顶部