CANTONE D. & OMODEO E. & POLICRITI A. <br/><br/>
SET THEORY FOR COMPUTING : FROM DECISION PROCEDURES TO DECLARATIVE PROGRAMMING WITH SETS 

 -  NEW YORK : SPRINGER  2001 
 - 409 p. 
<br/><br/><label>ISBN: </label>0000387951970 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SET THEORY : COMPUTABLE FUNCTIONS : COMPUTER MATHEMATICS
<br/><br/><label>Dewey Class. No.: </label>004.0151  / C15