Cantone, Domenico. Omodeo, Eugenio. Policriti, Alberto.
Set theory for computing from decision procedures to declarative programming with sets - New York Springer c2001. - xviii, 409 p. - Monographs in computer science .
0387951970 (alk. paper)
Set theory.
Computable functions.
681.3 CAN
Set theory for computing from decision procedures to declarative programming with sets - New York Springer c2001. - xviii, 409 p. - Monographs in computer science .
0387951970 (alk. paper)
Set theory.
Computable functions.
681.3 CAN