A first course in formal logic and its applications in computer science
By: R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
Contributors: Rayward-Smith, V. J.; Walter, C. D.
Series: Computer science texts
Publisher: Blackwell Scientific
Place of publication: Oxford
Number of pages: 265
Subjects: Electronic digital computers -- Programming.; Electronic data processing -- Mathematics.
Notes: Bibliography, p259-260. - Includes index.