Hostname: page-component-7c8c6479df-94d59 Total loading time: 0 Render date: 2024-03-29T04:40:36.734Z Has data issue: false hasContentIssue false

Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.

Published online by Cambridge University Press:  01 May 2008

Gergely Buday*
Affiliation:
Budapest, Hungary
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Copyright
Copyright © Cambridge University Press 2008
Submit a response

Discussions

No Discussions have been published for this article.