Cantone, Domenico <br/><br/>
Set theory for computing : from decision procedures to declarative programming with sets 

 - New York  Springer  2001 
 - xviii, 409p.  
 - Monographs in computer science .
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>387951970 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational functions<br/>Set theory