£81.87

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

Price data last checked 71 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£82 today · all-time low £82 (May 2026) · usually the usual

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 20 days · 20 data points (no recent data)

Historical
Generating forecast…
£85.17 £81.47 £82.28 £83.09 £83.89 £84.70 £85.51 29 April 2026 03 May 2026 08 May 2026 13 May 2026 18 May 2026

Price Distribution

Price distribution over 20 days • 2 price levels

Days at Price
Current Price
17 days · current 3 days 0 4 9 13 17 £82 £85 Days at Price

Price Analysis

Most common price: £82 (17 days, 85.0%)

Price range: £82 - £85

Price levels: 2 different prices over 20 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

£72.64 22 May 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

£158.95 16 Jun 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.74 14 Jul 2026
Routledge Deductive Reasoning and Strategies - Research Book
96% match

Routledge Deductive Reasoning and Strategies - Research Book

Routledge

£136.84 20 Jul 2026
Routledge Logical Abilities in Children Vol 3 - Deductive Inference
96% match

Routledge Logical Abilities in Children Vol 3 - Deductive Inference

Routledge

£128.40 15 May 2026
Functional Interpretation Of Logical Deduction, The
96% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 08 Jul 2026
Human Reasoning: The Psychology Of Deduction
96% match

Human Reasoning: The Psychology Of Deduction

Psychology Press

£50.77 04 Jul 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

£77.91 10 Jul 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

£102.87 01 Jul 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

£106.20 14 Jun 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

£48.96 13 Jul 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

£83.77 10 Jun 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

£107.98 20 Jun 2026
Routledge - The Psychology of Deductive Reasoning Book
96% match

Routledge - The Psychology of Deductive Reasoning Book

Routledge

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

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

Routledge

£143.69 24 Jul 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

£159.83 15 May 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

£62.62 07 Jul 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 09 Jul 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

£81.50 08 Jul 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

£86.10 21 May 2026
Methods of Thought - Routledge Psychology Reasoning Book
95% match

Methods of Thought - Routledge Psychology Reasoning Book

Routledge

£136.81 16 Jul 2026
The Mental Models Theory of Reasoning: Refinements and Extensions
95% match

The Mental Models Theory of Reasoning: Refinements and Extensions

Routledge

£55.89 04 Jul 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)

North Holland

£120.00 01 Jul 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

£106.88 12 Jun 2026