|   | by Michael HuthPaperback details (UK). details (USA). details (Germany). details (Canada). ISBN: 978-0-521-54310-1 ISBN-10: 0-521-54310-X Cambridge University Press · 2004 | 
| See also: | ||
| 2012 | Printed Access Code | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 2007 | Hardcover | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 1999 | Paperback | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 1999 | Hardcover | Logic in Computer Science: Modelling and Reasoning about Systems |