first course in formal logic and its applications in computer science
By: R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
Contributors: Walter, C. D.; Rayward-Smith, V. J.
Series: Computer science texts
Publisher: Blackwell Scientific
Published: 1986
Place of publication: Oxford
Language: eng
Number of pages: 265
Subjects: Logic, Symbolic and Mathematical.