£39.36

Springer Computational Logic and Set Theory: Applying Formalized Logic to Analysis

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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

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 History & Forecast

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

Last 39 days • 39 data points (No recent data available)

Historical
Generating forecast...
£39.36 £39.16 £39.21 £39.25 £39.29 £39.33 £39.38 11 March 2026 20 March 2026 30 March 2026 08 April 2026 18 April 2026

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price
39 days 0 10 20 29 39 £39 Days at Price

Price Analysis

Most common price: £39 (39 days, 100.0%)

Price range: £39 - £39

Price levels: 1 different prices over 39 days

Description

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
06 September 2014
Listed Since
25 September 2014

Barcode

No barcode data available

Similar Products You Might Like

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
96% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.98 09 Mar 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
96% match

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£43.20 20 Feb 2026
Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)
96% match

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

£42.32 20 Jan 2026
Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102
96% match

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

North Holland

£43.49 20 Feb 2026
An Introduction to the Language of Mathematics
96% match

An Introduction to the Language of Mathematics

Springer

£38.20 07 Mar 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
96% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
96% match

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

Cambridge University Press

£57.22 15 Feb 2026
A First Journey through Logic (Student Mathematical Library)
96% match

A First Journey through Logic (Student Mathematical Library)

£43.50 28 Feb 2026
Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)
96% match

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

£50.59 22 Feb 2026
A First Course in Mathematical Logic and Set Theory
96% match

A First Course in Mathematical Logic and Set Theory

Wiley

£82.59 13 Jan 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
96% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
96% match

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

£110.54 09 Dec 2025
An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)
96% match

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Springer

£57.66 07 Jan 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
96% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£26.22 18 Apr 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
96% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
On Sets and Graphs: Perspectives on Logic and Combinatorics
96% match

On Sets and Graphs: Perspectives on Logic and Combinatorics

Springer

£41.31 07 Mar 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Set Theory, Logic and their Limitations
95% match

Set Theory, Logic and their Limitations

Cambridge University Press

£43.56 16 Mar 2026
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)
95% match

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

Springer

£127.59 11 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
95% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
95% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£39.98 15 Feb 2026
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
95% match

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

Springer

£87.91 09 Dec 2025
Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47
95% match

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

Oxford University Press

£38.03 23 Feb 2026