Dowsing, R.D <br/><br/>
Afirst course in formal logic and its applications in computer science 
R.D Dowsing 
 - Oxford  Backwell Scientific  1986 
 - vi, 265p 
 - Computer science texts .
<br/><br/><label>ISBN: </label>632013087