Set Theory for Computing: From Decision Procedures to Declarative Programming
with Sets
by Domenico Cantone, Eugenio Omodeo and Alberto Policriti, Springer-Verlag,
2001. Hardback: ISBN 0-387-95197-0, $24.50/$69.95, xviii+409 pages.
2002 ◽
Vol 3
(1)
◽
pp. 125-128
1980 ◽
Vol 33
(5)
◽
pp. 599-608
◽
1987 ◽
Vol 40
(1)
◽
pp. 37-77
◽
1988 ◽
Vol 41
(1)
◽
pp. 105-120
◽
1985 ◽
Vol 38
(5)
◽
pp. 549-571
◽