A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
By: Dowsing, Roy.
Contributor(s): Rayward-Smith, V. J | Walter, C. D.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 005.131 D752f (Browse shelf) | Available | 055639 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
![]() |
![]() |
![]() |
No cover image available |
![]() |
No cover image available | No cover image available | ||
005.13 S443 Concepts of programming languages / | 005.13 S495 Programming languages : | 005.13 W749 Comparative programming languages / | 005.131 D752f A first course in formal logic and its applications in computer science / | 005.131 F N971 Numerical recipes example book (Fortran) / | 005.131 W886s Software engineering mathematics / | 005.133 C++ programming / |
There are no comments for this item.