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): DDC classification:- 005.131 19
- 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.