£125.74

Springer R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)

Price data last checked 20 day(s) ago - will refresh soon

View at Amazon

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.

£126 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

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

Historical
Generating forecast...
£144.66 £123.85 £128.39 £132.93 £137.47 £142.01 £146.55 13 March 2026 30 March 2026 17 April 2026 04 May 2026 22 May 2026

Price Distribution

Price distribution over 71 days • 2 price levels

Days at Price
Current Price
1 day · current 70 days 0 18 35 53 70 £126 £145 Days at Price

Price Analysis

Most common price: £145 (70 days, 98.6%)

Price range: £126 - £145

Price levels: 2 different prices over 71 days

Description

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
30 March 2024
Listed Since
31 March 2024

Barcode

No barcode data available

Similar Products You Might Like

Springer R-Calculus, IV: Propositional Logic Book
99% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 20 Feb 2026
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£122.77 12 Feb 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£94.11 17 Apr 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
98% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£76.14 22 Apr 2026
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
97% match

R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)

£137.87 14 Jan 2026
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
97% match

R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)

£107.32 09 Jan 2026
R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)

Springer

£97.43 21 May 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Propositional Logics Third Edition
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
96% match

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Springer

£74.50 20 May 2026
Propositional and Predicate Calculus: A Model of Argument
96% match

Propositional and Predicate Calculus: A Model of Argument

Springer

£52.01 14 Jan 2026
Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus
96% match

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Oxford University Press

£76.00 25 Jan 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
95% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£99.83 12 Apr 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
95% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£99.53 05 Mar 2026
Functional Interpretation Of Logical Deduction, The
95% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 07 Mar 2026
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)
95% match

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

Springer

£108.75 10 Jan 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
95% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
95% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 27 Feb 2026
Probabilistic Extensions of Various Logical Systems
95% match

Probabilistic Extensions of Various Logical Systems

Springer

£76.38 28 Apr 2026
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
95% match

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

£50.59 07 Mar 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
95% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£70.61 30 Apr 2026
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
95% match

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)

World Scientific Publishing Company

£58.86 03 Mar 2026
Logic of Computation: SER F / v.157 (NATO ASI)
95% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.56 26 Feb 2026