We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£75.37
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 Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
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 66 days · 66 data points (no recent data)
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 66 days • 3 price levels
Price Analysis
Most common price: £76 (28 days, 42.4%)
Price range: £74 - £76
Price levels: 3 different prices over 66 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048155266
- Domain
- Amazon UK
- Publication Date
- 04 December 2010
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
Springer
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
Springer
Logics for Computer Science: Classical and Non-Classical
Springer
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Springer
Structural Proof Theory
Cambridge University Press
Advances in Intensional Logic: 7 (Applied Logic Series, 7)
Springer
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
Springer
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
Springer
Multiprocessor Execution of Logic Programs
Springer
Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)
Springer
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
Springer
Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning: 38 (Trends in Logic, 38)
Springer
Cambridge Logical Foundations of Proof Complexity Book
Cambridge University Press
Architecture of Systems Problem Solving: 21 (IFSR International Series in Systems Science and Systems Engineering, 21)
Springer
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
Springer
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
Birkhauser
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Springer
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
Springer
Handbook of Parallel Constraint Reasoning
Springer
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
Springer
Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
Topics in Philosophical Logic: 17 (Synthese Library, 17)
Springer
Specification and Verification of Multi-agent Systems
Springer
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications (Springer Theses)
Springer