Introduction to Computational Logic: Literature

There are plenty of books on logic, approaching it
from many different perspectives and targeted at
different groups of readers. Computational logic,
however, is still at an early stage and there is no
standard textbook for beginners. The traditional
teaching model inherited from mathematical logic
focusses on propositional and first order predicate
logic and ignores type theory and Hoare Logic.
Below you find books that are useful in the context
of this course and that will help you to get a
broader view and a deeper understanding of the
field.