SCHEURER Thierry <br/><br/>
Foundations of computing:  system development with set theory and logic/ 
Thierry Scheurer 
 -  Addison-Wesley Pubs Co,  1994 
 - 668 p. 
<br/><br/><label>ISBN: </label>0201544296 (pbk)