Scheurer, Thierry. <br/><br/>
Foundations of computing :  system development with set theory and logic / 
Thierry Scheurer. 
 - Wokingham, England ;  Reading, Mass. :  Addison-Wesley,  c1994. 
 - xxiv, 668 p. :  ill. ;  24 cm. 
 - International computer science series .
<br/><br/>Includes bibliographical references (p. 647-648) and index. 
<br/><br/><label>ISBN: </label>0201544296 
<br/><br/><label>LCCN: </label>94016315  
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design.<br/>Set theory.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA76.9.S88  / S29 1994 
<br/><br/><label>Dewey Class. No.: </label>004.2/1