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 ; Boston : Blackwell Scientific Publications, 1986.Description: vi, 265 p. : ill. ; 24 cmISBN:- 0632013087 (pbk.)
- 0632016124 (cased) :
- 001.642
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library Store - Ask Library Staff | 001.642 (Browse shelf(Opens below)) | 1 | Available | 20167 |
Includes index.
Bibliography: p. 259-260.
13.63