Scheurer, Thierry <br/><br/>
Foundtions of computing :  system development with set theory and logic / 
Thierry Scheurer. 
 - Wokingham :  Addison-Wesley,  c1994. 
 - xxiv, 668 p. : ill. 
 - International computing science series .
<br/><br/> Includes references and index 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design<br/>Logic, Symbolic and mathematical<br/>Set theory