Mathematical Logic (English Edition. 2nd Edition)

Author: Enderton
Publisher:
Publish Date: 2006-01-01
Features: "This book is rigorous, comprehensive, and consistent, providing an excellent introduction to logical practice" — douglascannon, University of Washington "This book has a clear and meticulous writing style. I use this book as a textbook because it thoroughly and rigorously explains predicate calculus, extensively and excellently discusses incompleteness phenomena, and employs the standard notation developed by the Berkeley school." — karelprikr, University of Minnesota "This book is highly rigorous mathematically and contains more examples than other books. Therefore, I have decided to use this book as a textbook." — sun-jooshin, University of Notre Dame This is a classic textbook in mathematical logic, renowned for its readability and widely adopted in U.S. universities. Institutions such as MIT, UC Berkeley, Columbia University, and Cornell University use it as a teaching material. This edition features a more flexible chapter organization, additional topics related to computer science (e.g., finite models), and more examples and explanatory text, making it more suitable for undergraduate and graduate courses in mathematical logic. This is a classic textbook in mathematical logic. It covers topics such as propositional logic, first-order logic, undecidability, and second-order logic, as well as computer science-related themes like finite models. The book is characterized by: strong readability; a more flexible organization, allowing instructors to select content based on teaching needs; reflecting the influence of theoretical computer science on logic in recent years; and containing numerous examples and explanations. This book is suitable as a textbook for undergraduate and graduate students in computer science and related fields.