£82.69

This is the most expensive it has ever been. Walk away.

£83 today · previous high £83 · all-time low £83

Springer Set Theory for Computing - Computer Science Book

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 18 days · 18 data points (no recent data)

Historical
Generating forecast…
£82.69 £82.49 £82.54 £82.58 £82.62 £82.66 £82.71 25 July 2026 29 July 2026 02 August 2026 06 August 2026 11 August 2026
View at Amazon ↗

Price data last checked 73 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 18 days • 1 price levels

Days at Price
18 days 0 5 9 14 18 £83 Days at Price

Price Analysis

Most common price: £83 (18 days, 100.0%)

Price range: £83 - £83

Price levels: 1 different prices over 18 days

Description

Master the foundations of set-oriented symbolic manipulation and automated reasoning with this comprehensive volume from Springer. Set Theory for Computing provides a detailed account of how set-theoretic notions apply to critical areas such as problem specification, data types, and solution methods. This book explores algorithmic methods and deductive techniques used in algorithmic program verification and automated deduction. It is designed for readers seeking a high degree of control over sets and aggregates through formal tools. The rigorous and largely self-contained style makes it an essential resource for understanding declarative programming and decision procedures within the field of computer science.

Key Features

This Springer monograph provides an up-to-date account of set-oriented symbolic manipulation and automated reasoning methods.

Learn to apply set-theoretic notions to critical computing areas including problem specification, data types, and solution methods.

The text covers essential algorithmic methods and deductive techniques for algorithmic program verification and automated deduction.

Gain a clear view of declarative programming and decision procedures through a rigorous and largely self-contained writing style.

Develop the formal tools necessary for achieving a high degree of control over sets and aggregates in modern computing systems.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
26 June 2001
Listed Since
10 December 2006

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£112.09 02 Oct 2026
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory (second Edition)
97% match

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory (second Edition)

World Scientific Publishing Company

£54.27 08 Oct 2026
Sets And Computations: 33 (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)
97% match

Sets And Computations: 33 (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

World Scientific Publishing Company

£74.60 23 Sep 2026
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
97% match

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£59.89 08 Sep 2026
Notes on Set Theory (Undergraduate Texts in Mathematics)
97% match

Notes on Set Theory (Undergraduate Texts in Mathematics)

Springer

£42.76 26 Aug 2026
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory: 1
97% match

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory: 1

World Scientific Publishing Company

£41.30 21 Oct 2026
Sets and Extensions in the Twentieth Century (Volume 6) (Handbook of the History of Logic, Volume 6)
97% match

Sets and Extensions in the Twentieth Century (Volume 6) (Handbook of the History of Logic, Volume 6)

Elsevier

£135.00 19 Sep 2026
Set Theory: Exploring Independence and Truth (Universitext)
97% match

Set Theory: Exploring Independence and Truth (Universitext)

Springer

£61.47 12 Sep 2026
Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)
97% match

Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)

Springer

£141.36 21 Aug 2026
Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47
97% match

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Oxford University Press

£48.60 11 Sep 2026
Set Theory and Its Applications (Contemporary Mathematics)
97% match

Set Theory and Its Applications (Contemporary Mathematics)

£105.00 18 Sep 2026
Palgrave Companion to the Philosophy of Set Theory - Macmillan
97% match

Palgrave Companion to the Philosophy of Set Theory - Macmillan

MACMILLAN

£99.83 20 Aug 2026
Set Theory: A First Course (Cambridge Mathematical Textbooks)
97% match

Set Theory: A First Course (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.50 21 Oct 2026
Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets
97% match

Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets

Get 800 LLC

£43.41 10 Sep 2026
Concise Introduction to Logic and Set Theory (Mathematics and its Applications)
97% match

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

CRC Press

£110.00 01 Oct 2026
Concise Introduction to Logic and Set Theory (Mathematics and its Applications)
97% match

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

CRC Press

£59.35 19 Sep 2026
Set Theory for the Working Mathematician: Krzysztof Ciesielski: 39 (London Mathematical Society Student Texts, Series Number 39)
97% match

Set Theory for the Working Mathematician: Krzysztof Ciesielski: 39 (London Mathematical Society Student Texts, Series Number 39)

Cambridge University Press

£42.64 12 Oct 2026
The Foundations of Mathematics in the Theory of Sets: 82 (Encyclopedia of Mathematics and its Applications, Series Number 82)
97% match

The Foundations of Mathematics in the Theory of Sets: 82 (Encyclopedia of Mathematics and its Applications, Series Number 82)

Cambridge University Press

£133.95 07 Oct 2026
The Foundations of Mathematics in the Theory of Sets: 82 (Encyclopedia of Mathematics and its Applications, Series Number 82)
97% match

The Foundations of Mathematics in the Theory of Sets: 82 (Encyclopedia of Mathematics and its Applications, Series Number 82)

Cambridge University Press

£65.55 12 Sep 2026
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2
96% match

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

World Scientific Publishing Company

£53.12 10 Sep 2026
Set Theory, Logic and their Limitations
96% match

Set Theory, Logic and their Limitations

Cambridge University Press

£45.60 26 Sep 2026
Discovering Modern Set Theory: The Basics Pt.1 (Graduate Studies in Mathematics)
96% match

Discovering Modern Set Theory: The Basics Pt.1 (Graduate Studies in Mathematics)

£47.50 17 Sep 2026
Set Theory: 48 (London Mathematical Society Student Texts, Series Number 48)
96% match

Set Theory: 48 (London Mathematical Society Student Texts, Series Number 48)

Cambridge University Press

£123.00 07 Oct 2026
LMSST: 48 Set Theory (London Mathematical Society Student Texts, Series Number 48)
96% match

LMSST: 48 Set Theory (London Mathematical Society Student Texts, Series Number 48)

Cambridge University Press

£59.89 12 Oct 2026