£81.87

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

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

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 1 month ago.

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

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

Historical
Generating forecast...
£85.17 £81.47 £82.28 £83.09 £83.89 £84.70 £85.51 14 March 2026 30 March 2026 15 April 2026 01 May 2026 18 May 2026

Price Distribution

Price distribution over 66 days • 2 price levels

Days at Price
Current Price
32 days · current 34 days 0 9 17 26 34 £82 £85 Days at Price

Price Analysis

Most common price: £85 (34 days, 51.5%)

Price range: £82 - £85

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

£163.34 13 Jan 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

£164.56 13 Apr 2026
Routledge Deductive Reasoning and Strategies - Research Book
96% match

Routledge Deductive Reasoning and Strategies - Research Book

Routledge

£136.45 28 Apr 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 07 Mar 2026
Human Reasoning: The Psychology Of Deduction
96% match

Human Reasoning: The Psychology Of Deduction

Psychology Press

£50.04 27 Feb 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

£72.14 10 Mar 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 18 Feb 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

£110.13 12 Jan 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

£51.56 02 Apr 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

£110.43 27 Jan 2026
Routledge - The Psychology of Deductive Reasoning Book
96% match

Routledge - The Psychology of Deductive Reasoning Book

Routledge

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

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

Routledge

£137.61 02 May 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

£58.86 03 Mar 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 Mar 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

£96.74 06 Mar 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.45 20 Apr 2026
The Mental Models Theory of Reasoning: Refinements and Extensions
95% match

The Mental Models Theory of Reasoning: Refinements and Extensions

Routledge

£53.99 26 Feb 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 18 Feb 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

£103.50 09 Jan 2026