Logic in computer science: modelling and reasoning about systems / By Michael Huth and Mark Ryan.
By: Huth, Michael
Contributor(s): Ryan, MarkMaterial type: 
TextLanguage: English Publisher: New York : Cambridge University Press , 2012Edition: 2nd edDescription: xiv,427p. ; PB 24 cmISBN: 9780521670890Subject(s): Propositional logic | Semantics of propositional logic | Predicate logic as a formal language | Important properties of the accessibility relationDDC classification: 005.13
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Book
|
St Aloysius Institute of Management & Information Technology | MCA | 005.13 HUTM (Browse shelf) | Available | MCA12810 | ||
|
Book
|
St Aloysius Institute of Management & Information Technology | MCA | 005.13 HUTM (Browse shelf) | Available | MCA13501 | ||
|
Book
|
St Aloysius Institute of Management & Information Technology | MCA | 005.13 HUTM (Browse shelf) | Available | MCA14092 |
Total holds: 0
There are no comments on this title.