Agostino Dovier. Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0. TPLP, 3(1):125-128, 2003.
@article{Dovier03,
title = {Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0},
author = {Agostino Dovier},
year = {2003},
tags = {reviewing, programming},
researchr = {https://researchr.org/publication/Dovier03},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {3},
number = {1},
pages = {125-128},
}