HUTEH MICHAEL;RYAN MARK <br/><br/>
LOGIC IN COMPUTER SCIENCE MODELING AND REASONING ABOUT SYSTEMS 

 - 2ND 
 - NEWYARK  CAMBRIDGE UNIVERSITY PRESS  2004 
 - 427 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Computer ScIence,Data Processing"
<br/><br/><label>Dewey Class. No.: </label>4