A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
Material type:
TextSeries: Computer science textsPublication details: Oxford : Blackwell Scientific, 1986. Subject(s): Computer programming | Programming (Mathematics) | computer systems programs mathematics | Computer systems. Programs. MathematicsDDC classification: 005.131 LOC classification: QA76.6
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 DOW (Browse shelf(Opens below)) | Available | 1001310518 |
Total holds: 0
Includes bibliography and index.