Mathematical Logic Basics: First-Order Logic and First-Order Theory

Author: Fan Yu
Publisher:
Publish Date: 2003-09-01
Features: This book introduces the basic parts of mathematical logic. The introduction covers preliminary concepts of logic as well as introductory knowledge of set theory and recursion theory. The first four chapters of the main text focus on first-order logic, where the first two chapters introduce propositional logic and predicate logic in a non-formal manner, while the last two chapters present a classical propositional logic calculus system P and a classical predicate logic calculus system Q, discussing their meta-properties. Finally, an equivalent formal system QS to Q is also provided. The last chapter introduces knowledge related to first-order theories, mainly the basics of model theory and undecidable problems. Generally, each chapter is followed by an appropriate number of exercises. This book is suitable as a textbook or reference for modern logic-related courses offered in universities and colleges for liberal arts, science, and engineering majors.