Mathematical Logic - (2nd Edition)

Author: Endesheng En
Publisher:
Publish Date: 2007-03-01
Features: This book is a classic textbook in the field of mathematical logic. It covers topics such as propositional logic, undecidability, and second-order logic, and includes subjects related to computer science, such as finite models. The book's features are: strong readability; flexible organization, allowing instructors to select content based on teaching needs; reflects the influence of theoretical computer science on logic in recent years; contains numerous examples and exercises. This book is suitable as a textbook for undergraduate and graduate students in mathematics, philosophy, computer science, and other disciplines who need to study mathematical logic courses.