A First course in formal logic and its applications in computer science / R.D. Dowsing, V. J. Rayward-Smith and C.D. Walter
By: Dowsing, R.D | Rayward-Smith, V. J | Walter, C.D.
Publisher: Oxford Blackwell scientific publications 1986Description: vi, 265 p.ISBN: 0632016124.Subject(s): Computer science-Mathematics | Programming (Mathematics)DDC classification: 005.131Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Main Library General Section | S | 005.131 DOW (Browse shelf) | Available | 283553 |
Includes references and index.
There are no comments for this item.