Mathematical Logic: Second Edition

Author: B. Enderton (USA)
Publisher:
Publish Date: 2006-01-01
Features: This book is a classic textbook in the field of mathematical logic. It covers topics such as propositional logic, first-order logic, undecidability, and second-order logic, and includes themes related to computer science, such as finite models. The content is highly readable; the organizational structure is flexible, allowing instructors to select chapters based on teaching needs; and it reflects the influence of theoretical computer science on logic in recent years. This book is suitable as a textbook for undergraduate and graduate students in computer science and related fields taking courses in mathematical logic.