Introduction to Mathematical Logic and Resolution Principles - (Second Edition)

Author: Wang Guojun
Publisher:
Publish Date: 2006-03-01
Features: This book is a revised and expanded edition based on the previous version. The entire book consists of 9 chapters, which 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, senior undergraduate students, and teachers in computer science, applied mathematics, and artificial intelligence.