Logic in Computer Science
Modelling and reasoning about systems

Michael Huth and Mark Ryan


This book's web site has moved to here.