Text Books

The Official Text Book:
Title: Logic in Computer Science, Modelling and Reasoning about Systems
Author: M.R. Huth and M.D. Ryan
Publisher: Cambridge University Press