Logic in Computer Science

Modelling and Reasoning About Systems

By

Michael Huth,

Mark Ryan