Cantone, Domenico <br/><br/>
Set Theory for Computing  From Decision Procedures to Declarative Programming With Sets 

 - New York  Springer Publishing Company 
 - Soft Binding            409 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>0-387-95197-0 
<br/><br/><label>Subjects--Topical Terms: </label>--Computing
<br/><br/><label>Dewey Class. No.: </label>001.4226 KAM-D