Dowsing, R.D. Rayward-Smith, V. J. Walter, C.D. <br/><br/>
A First course in formal logic and its applications in computer science 
/ R.D. Dowsing, V. J. Rayward-Smith and C.D. Walter 
 - Oxford  Blackwell scientific publications  1986 
 - vi, 265 p. 
<br/><br/> Includes references and index. 
<br/><br/><label>ISBN: </label>0632016124 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science-Mathematics<br/>Programming (Mathematics)
<br/><br/><label>Dewey Class. No.: </label>005.131  / DOW