Logic in computer science: modelling and reasoning about systems/ Michael Huth and Mark Ryan.
Publication details: New Delhi: Cambridge University Press, 2005.Description: 427pISBN:- 9780521670890
- 510 P52
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
Mahatma Gandhi University Library Processing Center | 510 P52 (Browse shelf(Opens below)) | Available (Restricted Access) | 55293 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.