数理逻辑引论与归结原理 | 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
微信公众账号
微信扫一扫加关注
发表评论 取消回复