We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£41.79
Cambridge University Press - Structural Proof Theory Book
Price data updated today
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£42 today · previous high £42 · 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
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 91 days · 91 data points
Price Distribution
Price distribution over 91 days • 4 price levels
Price Analysis
Most common price: £40 (35 days, 38.5%)
Price range: £39 - £42
Price levels: 4 different prices over 91 days
Description
Key Features
Comprehensive coverage of structural proof theory, focusing on the general structure and properties of logical and mathematical proofs.
Dual-purpose design that works as a concise introduction for students and a research resource for specialists.
Tailored for academic study in the fields of philosophy, mathematics, and computer science.
Detailed analysis of proof-theoretical systems and their extensions from logic to mathematics.
Exploration of the connections between the two primary forms of structural proof theory.
Product Specifications
- Format
- paperback
- ASIN
- 0521068428
- Domain
- Amazon UK
- Release Date
- 21 August 2008
- Listed Since
- 10 March 2008
Barcode
No barcode data available
Similar Products You Might Like
Structural Proof Theory
Cambridge University Press
Cambridge Mathematics of Logic - Completeness Theorems Guide
Cambridge University Press
Cambridge Logical Foundations of Proof Complexity Book
Cambridge University Press
Programming with Higher-Order Logic
Cambridge University Press
Modal Logic for Philosophers
Cambridge University Press
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
Springer
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press
Dag Prawitz on Proofs and Meaning: 7 (Outstanding Contributions to Logic, 7)
Springer
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Cambridge University Press
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
Cambridge University Press
Forcing with Random Variables and Proof Complexity: 382 (London Mathematical Society Lecture Note Series, Series Number 382)
Cambridge University Press
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
Springer
A Course on Set Theory
Cambridge University Press
Probability and Inductive Logic (Elements in Philosophy and Logic)
Cambridge University Press
Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
Springer
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
Springer
An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)
Cambridge University Press
Foundations of Illocutionary Logic
Cambridge University Press
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
Springer
Computational Semantics with Functional Programming
Cambridge University Press
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Springer
Abductive Inference: Computation, Philosophy, Technology
Cambridge University Press
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
Cambridge University Press
The Nature of Reasoning
Cambridge University Press