This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. What’s a bias towards computer scientists, you ask? Good question. Despite my initial belief, it doesnot mean that it introduces logic with an eye towards the wide variety of areas where logic is used in computerscience. Rather, it gives a computational perspective on logic; the emphasis is on computational aspects of logic,and specifically on procedures for establishing the satisfiability or unsatisfiability of formulas, culminating in variousforms of the resolution procedure. (In that same sense, Smullyan [5] gives a tableaux-based perspective on first-orderlogic.) The study of resolution procedures leads naturally to the topic of using predicate logic as a programminglanguage, that is, logic programming.

This focus on computational aspects means that there is much less coverage of those topics typically found in logic textbooks, such as axiomatization and completeness results, or model theoretic notions such as applications ofcompactness and theories. This is not a criticism, mind you: there are other good introductory books that deal withthat. Sch¨oning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with atight storyline.