| Title | Author | Item type | Location | Collection | Call number | Copy number | Status | Date due | Notes | Link |
|---|---|---|---|---|---|---|---|---|---|---|
| Mathematical logic for computer science | Ben Ari, Mordechai | Books | DAIICT |
511.3 BEN | Available | |||||
| Mathematical logic for computer science | Ben Ari, Mordechai | Books | DAIICT |
511.3 BEN | Available | |||||
| Logic in computer science : modelling and reasoning about systems | Huth, Michael | Books | DAIICT |
005.1 HUT | Available | |||||
| Essence of Logic | Kelly, John J. | Books | DAIICT |
511.3 KEL | Available |