Mathematical logic

Author: Bi Fusheng
Publisher:
Publish Date: 2004-01-01
Features: This book is the newest reader introducing the basic knowledge of mathematical logic in China. The author addresses the difficulties encountered by liberal arts students when learning mathematical logic by incorporating traditional logic as much as possible to explain the fundamental concepts of mathematical logic, with a focus on the content of logical calculus. The natural deduction system is introduced in detail, while the axiom system is only discussed generally. The book strives to explain the basic principles and symbolic expressions of mathematical logic in a relatively accessible language, accompanied by exercises that are highly targeted and readable. It is primarily intended for cultural quality teaching in universities and colleges for non-mathematics majors, including undergraduate and associate degree programs, as well as serving as a concise reader for self-learners.