Yong (Shandong University Zhou Jinan China),Yinan (ShanghaiTech University Zou China.),Youlong (ShanghaiTech University Wu China),Yuanming (ShanghaiTech University Shi China),Jun (The Hong Kong Univer
(1)
Introduction to Mathematical Logic Resolution Principle, Second Edition, in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principl