We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£75.10
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£75 today · all-time low £74 (Sep 2026) · usually £75
Springer Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 88 days · 88 data points
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 88 days • 3 price levels
Price Analysis
Most common price: £75 (45 days, 51.1%)
Price range: £74 - £76
Price levels: 3 different prices over 88 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9401072515
- Domain
- Amazon UK
- Release Date
- 01 October 2011
- Listed Since
- 13 July 2012
Barcode
No barcode data available
Similar Products You Might Like
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
Springer
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Springer
Proof Analysis: A Contribution to Hilbert's Last Problem
Cambridge University Press
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
Springer
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
Elsevier
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Logic for Applications (Texts in Computer Science)
Springer
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
DUNOD
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Mathematical Problems from Applied Logic I - Springer
Springer
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press
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
Probabilistic Extensions of Various Logical Systems
Springer
Propositional Logics Third Edition
Advanced Reasoning Forum
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II: 2408 (Lecture Notes in Computer Science, 2408)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser