Hostname: page-component-7b9c58cd5d-7g5wt Total loading time: 0 Render date: 2025-03-16T10:45:23.722Z Has data issue: false hasContentIssue false

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.

Published online by Cambridge University Press:  18 December 2002

A. Dovier
Affiliation:
Dipartimento di Matematica, Universitá di Udine, Italy
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book review
Copyright
© 2003 Cambridge University Press

Footnotes

http://turing.dipmat.unict.it/∼cantone/SetTheoryForComputing