| Shelfclass_id | 3.D.1 |
| Sortkey | HUTH, MICHAEL R. A |
| Authors | Michael R. A. Huth, Mark D. Ryan |
| Title | Logic in Computer Science: Modelling and Reasoning about Systems |
| Publisher | Cambridge University Press |
| Year | 2000 |
| Languages | eng |
| Isbn | 0521652006, 0521656028 |
| Description | (pbk.) xviii, 387 p. ill. 25 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Computer logic |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam028/99015233.html |