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
Stock photo: cover may vary

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

by Domenico Cantone; Foreword by J. T. Schwartz; Eugenio Omodeo

Add to wish list

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.

Details

  • Title Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • Author Domenico Cantone; Foreword by J. T. Schwartz; Eugenio Omodeo
  • Binding Hardback
  • Edition 1st
  • Pages 409
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY
  • Publication date 2001-06-26
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • 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

More Copies for Sale

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

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

by Domenico Cantone, Eugenio Omodeo, Alberto Policriti

  • Used
  • Very good
Condition
Very good
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$70.90
A$9.22 Delivery to USA

Show details

Description:
Springer, 2001. Hard cover. Very good/No jacket. In great condition. Binding is tight and inside is clean and unmarked.
Add to wish list
Item price
A$70.90
A$9.22 Delivery to USA
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
Stock photo: cover may vary

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

by Cantone, Domenico; Omodeo, Eugenio

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$87.26
Free Delivery to USA

Show details

Description:
Springer, 2001. Hardcover. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$87.26
Free Delivery to USA
SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS
Stock photo: cover may vary

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

by OMODEO, EUGENIO,

  • New
  • Hardback
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
2
Seller
Item price
A$96.42
A$21.27 Delivery to USA

Show details

Description:
Springer, 2001. 1st. Hardcover. New/New.
Add to wish list
Item price
A$96.42
A$21.27 Delivery to USA
SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS
Stock photo: cover may vary

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

by OMODEO, EUGENIO,

  • Used
  • Hardback
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
2
Seller
Item price
A$96.42
A$21.27 Delivery to USA

Show details

Description:
Springer, 2001. 1st. Hardcover. UsedLikeNew/UsedLikeNew.
Add to wish list
Item price
A$96.42
A$21.27 Delivery to USA
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets...
Stock photo: cover may vary

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

by Cantone, Domenico

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$150.24
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$150.24
Free Delivery to USA
Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
Stock photo: cover may vary

Set Theory For Computing - From Decision Procedures To Logic Programming With Sets

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$159.05
A$21.27 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$159.05
A$21.27 Delivery to USA
Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
Stock photo: cover may vary

Set Theory For Computing - From Decision Procedures To Logic Programming With Sets

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$161.48
A$21.27 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$161.48
A$21.27 Delivery to USA
Set Theory For Computing: From Decision Procedures To Declarative Programming With Sets
Stock photo: cover may vary

Set Theory For Computing: From Decision Procedures To Declarative Programming With Sets

by Cantone

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Item price
A$231.40
Free Delivery to USA

Show details

Description:
Europe: Springer, 2001. Hardbound. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9780387951973
Add to wish list
Item price
A$231.40
Free Delivery to USA
Set Theory For Computing
Stock photo: cover may vary

Set Theory For Computing

by Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto,

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
5
Seller
Item price
A$264.84
A$5.66 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$264.84
A$5.66 Delivery to USA
Set Theory For Computing
Stock photo: cover may vary

Set Theory For Computing

by Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto,

  • Used
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
5
Seller
Item price
A$264.84
A$5.66 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$264.84
A$5.66 Delivery to USA