Introduction 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 latest theory of multivalue logic. The book also includes supplement or alternations on the proof of the completion of K in first-order system, concerning "Quantitative Logic".