SET THEORY FOR COMPUTING
From decision procedures to declarative programming with sets

Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
 


 Please contact us in order to
    - make comments and suggestions
    - propose solutions to exercises
    - raise questions and challenges

You can order this book through      

Last modified Nov 3, 2003