£85.65

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£86 today · all-time low £83 (Sep 2026) · usually £83

Springer Labelled Deduction: 17 (Applied Logic Series, 17)

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 86 days · 86 data points (no recent data)

Historical
Generating forecast…
£86.35 £82.45 £83.30 £84.15 £85.00 £85.85 £86.71 28 July 2026 18 August 2026 08 September 2026 29 September 2026 21 October 2026
View at Amazon ↗

Price data checked 5 days ago

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 Distribution

Price distribution over 86 days • 4 price levels

Days at Price
Current Price
28 days 7 days 15 days · current 36 days 0 9 18 27 36 £83 £84 £85 £86 Days at Price

Price Analysis

Most common price: £86 (36 days, 41.9%)

Price range: £83 - £86

Price levels: 4 different prices over 86 days

Description

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 April 2000
Listed Since
09 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Labelled Deduction: 17 (Applied Logic Series, 17)
98% match

Labelled Deduction: 17 (Applied Logic Series, 17)

Springer

£75.37 22 Oct 2026
Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
97% match

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Springer

£163.97 19 Aug 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)
97% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)

Springer

£151.98 01 Oct 2026
Deductive Reasoning and Strategies - Routledge
96% match

Deductive Reasoning and Strategies - Routledge

Routledge

£155.00 07 Oct 2026
Logical Abilities in Children Volume 3 - Deductive Reasoning
96% match

Logical Abilities in Children Volume 3 - Deductive Reasoning

Routledge

£135.97 20 Oct 2026
Functional Interpretation Of Logical Deduction, The
96% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 22 Sep 2026
Human Reasoning: The Psychology Of Deduction
96% match

Human Reasoning: The Psychology Of Deduction

Psychology Press

£52.99 17 Sep 2026
The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning
96% match

The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning

Cambridge University Press

£94.63 25 Sep 2026
Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02
96% match

Lectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions: 02

CRC Press

£121.97 10 Sep 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
96% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Springer

£108.01 18 Aug 2026
Natural Deduction: An Introduction To Logic With Real Arguments, A Little History and Some Humour: Using Natural Deduction, Real Arguments, a Little History, and Some Humour
96% match

Natural Deduction: An Introduction To Logic With Real Arguments, A Little History and Some Humour: Using Natural Deduction, Real Arguments, a Little History, and Some Humour

Broadview Press Inc

Price unavailable
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
96% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£98.76 11 Aug 2026
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
96% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£108.01 25 Aug 2026
Psychology of Deductive Reasoning - Evans Psychology Revivals
96% match

Psychology of Deductive Reasoning - Evans Psychology Revivals

Routledge

£125.00 09 Oct 2026
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
96% match

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Routledge

£152.40 10 Oct 2026
The Scientific World-Perspective and Other Essays, 1931–1963: 108 (Synthese Library, 108)
96% match

The Scientific World-Perspective and Other Essays, 1931–1963: 108 (Synthese Library, 108)

Springer

£161.05 20 Oct 2026
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (ADVANCES IN LOGIC)
96% match

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (ADVANCES IN LOGIC)

World Scientific Publishing Company

£58.62 19 Sep 2026
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction: 481 (Synthese Library, 481)
95% match

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction: 481 (Synthese Library, 481)

Springer

£87.45 24 Sep 2026
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction: 481 (Synthese Library, 481)
95% match

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction: 481 (Synthese Library, 481)

Springer

£70.77 22 Sep 2026
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
95% match

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

A K Peters/CRC Press

£103.99 22 Oct 2026
Methods of Thought: Individual Differences in Reasoning Strategies
95% match

Methods of Thought: Individual Differences in Reasoning Strategies

Routledge

£151.26 03 Oct 2026
The Mental Models Theory of Reasoning: Refinements and Extensions
95% match

The Mental Models Theory of Reasoning: Refinements and Extensions

Routledge

£58.50 16 Sep 2026
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
95% match

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

Elsevier

£120.00 10 Sep 2026
Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail
95% match

Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Oxford University Press

£100.00 14 Aug 2026