Herbert B. Enderton

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 meet better the needs of today’s undergraduate mathematics and philosophy students. 

It is intended for the reader who has not studied logic previously but has some mathematical reasoning experience. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as assets.