Introduction to Mathematical Logic and Resolution Principles, Second Edition

Author: Wang Guojun
Publisher:
Publish Date: 2006-05-12
Features: This book is a revised and expanded edition based on the previous version. The book consists of 9 chapters and can be divided into 4 parts: Boolean algebra theory, propositional calculus and predicate calculus theory, resolution principle theory, and new theories in multivalued logic. Additionally, based on the previous version, supplementary or rewritten content has been added to topics such as "quantitative logic" and the proof of the completeness of first-order system K. This book is suitable for graduate students and senior undergraduate students in computer science, applied mathematics, artificial intelligence, as well as teachers.