Logic in computer science : modelling and reasoning about systems / Michael Huth, Department of Computing, Imperial College London, United Kingdom, Mark Ryan, School of Computer Science, University of Birmingham, United Kingdom.
Material type: TextPublisher: Cambridge : Cambridge University Press, 2005Edition: Second edition, ReprintedDescription: xiv, 427 pages : illustrations ; 25 cmContent type:- text
- unmediated
- volume
- 052154310X (pbk.)
- 9780521543101
- 005.1015113 HUT 22
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library Lower Floor | Baccah | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 000050282 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.