£75.37

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

£75 today · all-time low £73 (Jul 2026) · usually £75

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 90 days · 90 data points

Historical
Generating forecast…
£76.18 £72.72 £73.47 £74.23 £74.98 £75.74 £76.50 25 July 2026 16 August 2026 07 September 2026 29 September 2026 22 October 2026
View at Amazon ↗

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 90 days • 4 price levels

Days at Price
Current Price
10 days 14 days 42 days · current 24 days 0 11 21 32 42 £73 £74 £75 £76 Days at Price

Price Analysis

Most common price: £75 (42 days, 46.7%)

Price range: £73 - £76

Price levels: 4 different prices over 90 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
paperback
Domain
Amazon UK
Publication Date
08 October 2012
Listed Since
06 December 2012

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

£85.65 21 Oct 2026
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
97% match

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

Routledge

£152.40 10 Oct 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
Functional Interpretation Of Logical Deduction, The
97% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 22 Sep 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)

Elsevier

£120.00 10 Sep 2026
Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
96% match

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

Springer

£163.97 19 Aug 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
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
96% match

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)

Springer

£92.22 22 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
Logical Abilities in Children Volume 3 - Deductive Reasoning
96% match

Logical Abilities in Children Volume 3 - Deductive Reasoning

Routledge

£135.97 20 Oct 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
Automated Model Building: 31 (Applied Logic Series, 31)
96% match

Automated Model Building: 31 (Applied Logic Series, 31)

Springer

£108.01 19 Aug 2026
Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic
96% match

Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic

Bloomsbury

£84.33 12 Sep 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
96% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£152.30 02 Oct 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
96% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£101.18 01 Oct 2026
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
96% match

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Routledge

£98.25 24 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£151.20 24 Sep 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
96% match

A Logical Approach to Discrete Math (Monographs in Computer Science)

Springer

£64.99 11 Aug 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
96% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£75.80 30 Sep 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)

Springer

£85.45 14 Aug 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
96% match

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

World Scientific Publishing Company

£73.13 05 Oct 2026
Cambridge Logic in Computer Science - 2nd Edition Textbook
96% match

Cambridge Logic in Computer Science - 2nd Edition Textbook

Cambridge University Press

£51.69 21 Oct 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

£91.07 09 Sep 2026