Mathematical Logic (Second Edition)

Author: Herbert B. Endreton
Publisher:
Publication 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, as well as subjects related to computer science, such as finite models. The book is characterized by: strong readability; a flexible organization structure, allowing instructors to select content based on teaching needs; reflecting the influence of theoretical computer science on logic in recent years; and including 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.