Logic For Applications

Rating:
Summary: good logic introduction to computer science students
Review: This book is very carefully written to take care of its computer science and mathematics audience. The writing style is concise, yet unlike some other logic books, this one is far less dense and the content can easily be followed by an advanced undergraduate student (also, of course, by graduate students).

The book contains a relatively balanced coverage on logic. The six sections include Propositional Logic, Predicate Logic, PROLOG, Modal Logic, Intuitionistic Logic and Elements of Set Theory. There is also a concise appendix on the history of logic development.

I especially like the authors' careful treatment on the logics in PROLOG. Also, the authors have taken very good care in preparing the manuscript and my whole class can only find about ten typos after spending a whole semester using this book.

Indeed, this book can easily be re-titled to be "What Every Computer Scientists Should Know About Logic".

Highly recommended.