Set theory for computing : from decision procedures to declarative programming with sets /

Bibliographic Details

Main Author:	Cantone, Domenico
Other Authors:	Omodeo, Eugenio, Policriti, Alberto
Format:	Book
Language:	English
Published:	New York : Springer, [2001]
Series:	Monographs in computer science.
Subjects:	Set theory. Computable functions.