Logic in Computer Science
modelling and reasoning about systems

Michael Huth and Mark Ryan; 427 pages (2nd edition).


Published by Cambridge University Press (link) in paperback only: ISBN 0 521 54310X, c. $55 or £30. To appear in June 2004.