Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780521670890 (pbk)
- 005.1015113 HUT/L
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.