Logic in Computer Science
Modelling and reasoning about systems

Michael Huth and Mark Ryan

This book's web site has moved to here.