-
数理逻辑引论与归结原理
¥92.2(7.2折)定价:¥128.0Introduction to Mathematical Logic Resolution Principle, Second Edition in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the la