Isbn: 0137700091
Sales Rank: 936534
Subjects:  1. Computer Bks - General Information    2. Computer Books: General    3. Computer Programming    4. Functional programming (Comput    5. Functional programming (Computer science)    6. Logic programming    7. Logic, Symbolic and mathematic    8. Logic, Symbolic and mathematical    9. Programming - General   

Isbn: 0201179571
Sales Rank: 899486
Subjects:  1. Computer Books: General    2. Computer Mathematics    3. Computer Science    4. Computer logic    5. Computers    6. Discrete Mathematics    7. Mathematics    8. Set Theory    9. Computers / Computer Science   

Isbn: 0817634533
Sales Rank: 466439
Subjects:  1. Computer Books: Operating Systems    2. Computer Logic    3. Logic    4. Logic programming    5. Logic, Symbolic and mathematic    6. Logic, Symbolic and mathematical    7. Mathematics    8. Number Systems    9. Mathematics / Logic   

Isbn: 9810230915
Sales Rank: 2780407
Subjects:  1. Computer Logic    2. Logic    3. Mathematical And Symbolic Logic    4. Mathematics    5. Science/Mathematics   

Isbn: 1852333197
Sales Rank: 257067
Subjects:  1. Applied    2. Computer Mathematics    3. Computer Science    4. Logic    5. Logic, Symbolic and mathematic    6. Logic, Symbolic and mathematical    7. Mathematical And Symbolic Logic    8. Mathematics    9. Science/Mathematics    10. Formal Specification    11. Mathematics / Logic    12. Propositional Calculus    13. Resolution    14. Temporal Logic   

Isbn: 0201548860
Sales Rank: 368842
Subjects:  1. Computer Bks - General Information    2. Computer Books: General    3. Computer Logic    4. Computer Programming    5. Computer Science    6. Computers    7. General    8. Linear Programming    9. Logic, Symbolic and mathematic    10. Logic, Symbolic and mathematical    11. Computers / General   

Isbn: 0133963756
Sales Rank: 882818
Subjects:  1. Computer Bks - Languages / Programming    2. Computer Books: General    3. Computer Logic    4. Computer Science    5. Computers    6. Logic    7. Logic, Symbolic and mathematical    8. Mathematical And Symbolic Logic    9. Programming - General    10. Programming Languages - General   

Isbn: 0201182602
Sales Rank: 1119064
Subjects:  1. Computer Bks - Languages / Programming    2. Computer Logic    3. Computer Programming    4. Linear Programming    5. Logic, Symbolic and mathematic    6. Logic, Symbolic and mathematical    7. Programming Languages - General    8. Science/Mathematics   

Isbn: 0201182610
Sales Rank: 1482716
Subjects:  1. Computer Bks - Languages / Programming    2. Computer Books: Operating Systems    3. Computer Logic    4. Computer Programming    5. Linear Programming    6. Logic, Symbolic and mathematic    7. Logic, Symbolic and mathematical    8. Programming Languages - General   

Isbn: 0387948937
Sales Rank: 531676
Subjects:  1. Computer Bks - General Information    2. Computer Logic    3. Computer Science    4. Computers    5. Logic Design    6. Logic, Symbolic and mathematic    7. Logic, Symbolic and mathematical    8. Mathematics    9. Philosophy Of Mathematics    10. Programming - General    11. Programming Languages - General    12. Science/Mathematics    13. Computers / Logic Design   

Reviews (2)

A logician from holland
I used this book as a course book and I can say that it is quite difficult to follow the book. All the proofs are either intuitive or very shortwithout much explanation or example. So, if you want to take this book as aguide for this field think twice!

gives basics for automated reasoning
I found this book to be an excellent reference for automated reasoning. It covers resolution and unification in great detail. It also covers Knuth-Bendix procedure for equational logic. I used this book as a startingpoint to learning about automated reasoning and logic in AI.

I recommendthis book for anyone who is just beginning to learn about automatedreasoning.

Isbn: 0471570354
Sales Rank: 759840
Subjects:  1. Combinatorial optimization    2. Discrete Mathematics    3. Game Theory    4. Linear Programming    5. Logic    6. Logic, Symbolic and mathematic    7. Logic, Symbolic and mathematical    8. Mathematical And Symbolic Logic    9. Mathematics    10. Optimization (Mathematical Theory)    11. Science/Mathematics    12. Calculus & mathematical analysis    13. Mathematical logic    14. Mathematics / Discrete Mathematics   

Reviews (5)

a reader
In my opinion (I refer to the II edition)the logic treatment is fairly complete for acomputer science student (anyway it's missing the treatment of Prolog and the relevant logic).This book is also an excellent introduction to Model Checking of Clarke.

Not for undergrads, advanced textbook
The coverage of this book is quite good for what concerns logic in computer science. However, using it as an introduction on logic for computer scientists is probably ambitious because the explanations are rather complicated for undergraduates. A first course on logic and another on AI would not hurt before getting into this one. Too many notions of computer science (syntax and semantics of programming languages, complexity) are needed to fully understand some topics, hence it is better that you already have a broad view of all aspects of computer science before reading this one. As an advanced course textbook to formal techniques in computer sciente on the other hand, this one would do the job.