Dowsing, Roy. <br/><br/>
A first course in formal logic and its applications in computer science / 
R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. 
 - Oxford :  Blackwell Scientific,  c1986 
 - vi, 265 p. 
 - Computer science texts .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electonic digital computers--Programming.<br/>Programming (Mathematics)<br/>Logic, Symbolic and mathematical.