We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£56.20
Chapman and Hall/CRC Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
Price data last checked 48 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£56 today · cheaper than every other day in the last 3 months
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 43 days • 43 data points (No recent data available)
Price Distribution
Price distribution over 43 days • 1 price levels
Price Analysis
Most common price: £56 (43 days, 100.0%)
Price range: £56 - £56
Price levels: 1 different prices over 43 days
Description
Product Specifications
- Brand
- Chapman and Hall/CRC
- Format
- paperback
- ASIN
- 1032920777
- Domain
- Amazon UK
- Release Date
- 14 October 2024
- Listed Since
- 09 August 2024
Barcode
No barcode data available
Similar Products You Might Like
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
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
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
Logic for Applications (Texts in Computer Science)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
Springer
Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Lectures on the Curry-Howard Isomorphism
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Springer
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
North Holland