No CrossRef data available.
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
Abstract
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

- Type
- Book review
- Information
- Copyright
- © 2003 Cambridge University Press
Footnotes
http://turing.dipmat.unict.it/∼cantone/SetTheoryForComputing