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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha