A Mathematical Introduction to Logic
- 2nd Edition - December 22, 2000
- Latest edition
- Author: Herbert B. Enderton
- Language: English
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author… Read more
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
Undergraduates and graduates in Computer Science, Philosophy and Mathematics
USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.
- Edition: 2
- Latest edition
- Published: December 22, 2000
- Language: English
HE
Herbert B. Enderton
Affiliations and expertise
University of California, Los Angeles, U.S.A.Read A Mathematical Introduction to Logic on ScienceDirect