BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Set Theory for Computing: From Decision Procedures to Declarative Programming
Stock photo: cover may vary

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets Hard cover - 2001

by Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Add to wish list
  • Used
  • very good
Used - Very good

Description

Springer, 2001. Hard cover. Very good/No jacket. In great condition. Binding is tight and inside is clean and unmarked.
Ask the seller a question Add to wish list
A$70.90
A$9.22 Delivery within USA
Standard delivery: 5 to 14 days
More delivery options
Ships from Moe's Books (California, United States)

Details

About Moe's Books California, United States

Biblio member since 2005

In business for 50 years, on-line for over 10 years, Telegraph Books is the on-line department of Moe\'s Books in Berkeley. Please direct all questions to our e-mail address books@telegraphbooks.com. Our on-line books can be made available for pick-up at our store, but please contact us by e-mail as they are all warehoused.

Terms of Sale:

We accept Visa, Mastercard, Discover and Amex. Books can be returned for up to 7 days of receipt. Books can be returned when not as described. International shipping as quoted is for items that can be shipped via Global Priority. Oversized or heavier books may require additional postage, quoted at cost.

Browse books from Moe's Books

Reader reviews for Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

From the publisher

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

First line

Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics.
tracking-