£85.00

CRC Press Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Price data last checked 93 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.

£85 today · previous high £85 · all-time low £75

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 638 days • 638 data points (No recent data available)

Historical
Generating forecast...
£85.00 £73.58 £76.07 £78.56 £81.06 £83.55 £86.04 09 June 2024 15 November 2024 23 April 2025 29 September 2025 08 March 2026

Price Distribution

Price distribution over 638 days • 6 price levels

Days at Price
Current Price
39 days 22 days 4 days 52 days 17 days 504 days · current 0 126 252 378 504 £75 £76 £77 £78 £81 £85 Days at Price

Price Analysis

Most common price: £85 (504 days, 79.0%)

Price range: £75 - £85

Price levels: 6 different prices over 638 days

Description

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics. The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
20 August 2014
Listed Since
01 May 2012

Barcode

No barcode data available

Similar Products You Might Like

Displaying Modal Logic: 3 (Trends in Logic, 3)
98% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£105.95 07 Mar 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£104.96 13 Jan 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£157.85 10 Mar 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

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

Springer

£42.30 21 Feb 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
97% match

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

Cambridge University Press

£43.24 24 Feb 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

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

Oxford University Press

£68.02 17 Mar 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
97% match

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

Cambridge University Press

£94.38 12 Jan 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
97% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£104.80 04 Feb 2026
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
96% match

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Elsevier

£107.39 09 Dec 2025
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
96% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
96% match

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

£84.63 10 Jan 2026
Lectures on the Curry-Howard Isomorphism
96% match

Lectures on the Curry-Howard Isomorphism

£105.00 10 Jan 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£48.61 21 Feb 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
96% match

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

North Holland

£120.00 18 Feb 2026
Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)
96% match

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)

£90.32 12 Dec 2025
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
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
96% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
Symbolic Logic (Palgrave Philosophy Today)
96% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£45.44 07 Mar 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