£72.64

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

Price data checked 2 days ago

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.

£73 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 89 days • 89 data points

Historical
Generating forecast...
£75.47 £72.36 £73.04 £73.72 £74.39 £75.07 £75.75 23 February 2026 17 March 2026 08 April 2026 30 April 2026 22 May 2026

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price
Current Price
34 days · current 55 days 0 14 28 41 55 £73 £75 Days at Price

Price Analysis

Most common price: £75 (55 days, 61.8%)

Price range: £73 - £75

Price levels: 2 different prices over 89 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. About the Author Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.

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

£81.87 18 May 2026
The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)
97% match

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

Routledge

£137.61 02 May 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
Functional Interpretation Of Logical Deduction, The
97% match

Functional Interpretation Of Logical Deduction, The

World Scientific Publishing Company

£69.00 07 Mar 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)

North Holland

£120.00 18 Feb 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.34 13 Jan 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
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.18 18 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
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
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
Automated Model Building: 31 (Applied Logic Series, 31)
96% match

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

Springer

£110.46 13 Jan 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 Academic

£83.74 25 Feb 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
96% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£128.72 15 Apr 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

£100.88 14 Apr 2026
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
96% match

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

Routledge

£96.76 09 Mar 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£157.85 10 Mar 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
96% match

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

Springer

£63.85 12 Dec 2025
Logic, Language and Computation: 5 (Applied Logic Series, 5)
96% match

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

Springer

£76.14 08 Apr 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)

£85.45 08 Jan 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

£72.44 24 Apr 2026
Logic in Computer Science: Modelling and Reasoning about Systems
96% match

Logic in Computer Science: Modelling and Reasoning about Systems

£50.59 11 Jan 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

£38.79 17 Feb 2026