Cantone, Domenico, <br/><br/>
Set theory for computing :  from decision procedures to declarative programming with sets / 
Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz 
 - xviii, 409 páginas :  ilustraciones 
 - Monographs in computer science .
<br/><br/><label>ISBN: </label>0387951970 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de conjuntos<br/>Funciones computables
<br/><br/><label>LC Class. No.: </label>QA248  / C195 
<br/><br/><label>Dewey Class. No.: </label>511.3/22