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
Browsing Mahatma Gandhi University Library shelves, Shelving location: Processing Center Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
418.02 P7 A companion to translation studies / | 418.4 Q5 The Oxford handbook of reading/ | 500 R2 Science and Technology: a concise history and evolution/ | 510 P52 Logic in computer science: | 510 P8 Mathematics for BCA/ | 510 Q21 Advanced Mathematics II/ | 510 R02 Mathematics is the poetry of science/ |
Includes bibliographical references and index.
There are no comments on this title.