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 Logic Programming With Sets

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

Set Theory For Computing - From Decision Procedures To Logic Programming With
Stock photo: cover may vary

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

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

Add to wish list
  • New
New

Description

New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Ask the seller a question Add to wish list
A$160.61
A$21.15 Delivery to USA
Standard delivery: 7 to 14 days
More delivery options
Ships from Students Textbooks (India)

Details

  • Title Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
  • Author Domenico Cantone; Foreword by J. T. Schwartz; Eugenio Omodeo
  • 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 # BIBNN-275020
  • 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 1

About Students Textbooks India

Biblio member since 2009

Selling textbooks, International editions and reference books online from last 5 Years.

Terms of Sale:

30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged. Return address: Students_Textbooks 12 phankha road Jankpuri New Delhi 110036 India

Browse books from Students Textbooks

Reader reviews for Set Theory For Computing - From Decision Procedures To Logic 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-