Dowsing, R D <br/><br/>
First course in formal logic and its applications in computer science 
by R D Dowsing,  V J  Rayward-Smith and C D Walter 
 - Oxford  Blackwell  1986 
 - vi, 265p. 
<br/><br/><label>ISBN: </label>0632013087 
<br/><br/><label>Dewey Class. No.: </label>005.131  / N865