Logic in Computer Science: Modelling and Reasoning about Systems - http://www.amazon.com/dp...