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 with Sets Hardback - 2001

by Domenico Cantone

Add to wish list
  • New
  • Hardback
New

Description

Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated r
Ask the seller a question Add to wish list
A$282.53
A$15.41 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from Ria Christie Collections (Greater London, United Kingdom)

Details

  • Title Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • Author Domenico Cantone
  • Binding Hardback
  • Edition 1st
  • Condition New
  • Pages 409
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY
  • Publication date 2001-06-26
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • Bookseller's Inventory # ria9780387951973_inp
  • ISBN 9780387951973 / 0387951970
  • Weight 1.63 lbs (0.74 kg)
  • Dimensions 9.52 x 6.38 x 1 in (24.18 x 16.21 x 2.54 cm)
  • Category Mathematics
  • Library of Congress subjects Set theory, Computable functions
  • Library of Congress Catalogue Number 2001020446
  • Dewey Decimal Code 511.322
  • Quantity available 1023

About Ria Christie Collections Greater London, United Kingdom

Biblio member since 2014

Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections

Terms of Sale:

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Ria Christie Collections

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-