Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by: Domenico Cantone · Eugenio Omodeo · Alberto Policriti Hardcover details (USA). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-387-95197-3 ISBN-10: 0-387-95197-0 Springer · 2001