£106.26

Springer Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Price data checked 1 day ago

View at Amazon

Price History & Forecast

Last 90 days • 90 data points

Historical
Generating forecast...
£106.26 £97.79 £99.64 £101.49 £103.33 £105.18 £107.03 11 February 2026 05 March 2026 27 March 2026 18 April 2026 11 May 2026

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price
Current Price
14 days 10 days 66 days · current 0 17 33 50 66 £99 £103 £106 Days at Price

Price Analysis

Most common price: £106 (66 days, 73.3%)

Price range: £99 - £106

Price levels: 3 different prices over 90 days

Description

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
07 April 2011
Listed Since
11 August 2010

Barcode

No barcode data available

Similar Products You Might Like

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
98% match

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Springer

£113.76 11 May 2026
Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)
82% match

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

Springer

£73.85 11 May 2026
Foundations of Rational Agency: 14 (Applied Logic Series, 14)
80% match

Foundations of Rational Agency: 14 (Applied Logic Series, 14)

Springer

£105.94 11 May 2026
Paradoxes Between Truth and Proof: 494 (Synthese Library, 494)
79% match

Paradoxes Between Truth and Proof: 494 (Synthese Library, 494)

Springer

£100.08 04 May 2026
Argumentation Machines: New Frontiers in Argument and Computation: 9 (Argumentation Library, 9)
79% match

Argumentation Machines: New Frontiers in Argument and Computation: 9 (Argumentation Library, 9)

Springer

£113.77 11 May 2026
Reasoning about Preference Dynamics: 354 (Synthese Library, 354)
79% match

Reasoning about Preference Dynamics: 354 (Synthese Library, 354)

Springer

£74.15 11 May 2026
Theory and Applications of Ontology: Computer Applications
79% match

Theory and Applications of Ontology: Computer Applications

Springer

£108.92 11 May 2026
Dao Companion to Chinese Philosophy of Logic: 12
79% match

Dao Companion to Chinese Philosophy of Logic: 12

Springer

£141.67 04 May 2026
Computation, Proof, Machine: Mathematics Enters a New Age
78% match

Computation, Proof, Machine: Mathematics Enters a New Age

Cambridge University Press

£33.19 04 May 2026
Strict Finitism and the Logic of Mathematical Applications: 355 (Synthese Library, 355)
78% match

Strict Finitism and the Logic of Mathematical Applications: 355 (Synthese Library, 355)

Springer

£74.81 11 May 2026
Medieval Formal Logic: Obligations, Insolubles and Consequences: 49 (The New Synthese Historical Library, 49)
78% match

Medieval Formal Logic: Obligations, Insolubles and Consequences: 49 (The New Synthese Historical Library, 49)

Springer

£74.96 11 May 2026
Dynamic Formal Epistemology: 351 (Synthese Library, 351)
78% match

Dynamic Formal Epistemology: 351 (Synthese Library, 351)

Springer

£76.38 11 May 2026
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
78% match

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Springer

£69.43 11 May 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
78% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£72.77 11 May 2026
Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)
78% match

Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)

Springer

£75.58 11 May 2026
Computational Models of Mixed-Initiative Interaction
77% match

Computational Models of Mixed-Initiative Interaction

Springer

£109.90 11 May 2026
Communication and Meaning: An Essay in Applied Modal Logic: 168 (Synthese Library, 168)
77% match

Communication and Meaning: An Essay in Applied Modal Logic: 168 (Synthese Library, 168)

Springer

£74.36 11 May 2026
The Theory of Plane Area at the Crossroads: Philosophical, Historical, and Logical Perspectives: 64 (Logic, Epistemology, and the Unity of Science, 64)
77% match

The Theory of Plane Area at the Crossroads: Philosophical, Historical, and Logical Perspectives: 64 (Logic, Epistemology, and the Unity of Science, 64)

Springer

£87.45 04 May 2026
Judgement and the Epistemic Foundation of Logic: 31 (Logic, Epistemology, and the Unity of Science, 31)
77% match

Judgement and the Epistemic Foundation of Logic: 31 (Logic, Epistemology, and the Unity of Science, 31)

Springer

£74.74 11 May 2026
Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning: 38 (Trends in Logic, 38)
77% match

Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning: 38 (Trends in Logic, 38)

Springer

£76.38 11 May 2026
Rationality, Rules, and Structure: 28 (Theory and Decision Library A:, 28)
77% match

Rationality, Rules, and Structure: 28 (Theory and Decision Library A:, 28)

Springer

£75.58 11 May 2026
Probabilistic Linguistic Two-Sided Matching Decision-Making Methods and Applications: 436 (Studies in Fuzziness and Soft Computing, 436)
77% match

Probabilistic Linguistic Two-Sided Matching Decision-Making Methods and Applications: 436 (Studies in Fuzziness and Soft Computing, 436)

Springer

£127.55 04 May 2026
Intelligent Systems in Cybernetics and Automation Control Theory: 860 (Advances in Intelligent Systems and Computing, 860)
77% match

Intelligent Systems in Cybernetics and Automation Control Theory: 860 (Advances in Intelligent Systems and Computing, 860)

Springer

£109.85 11 May 2026
The Dynamics of Thought: 300 (Synthese Library, 300)
77% match

The Dynamics of Thought: 300 (Synthese Library, 300)

Springer

£142.23 11 May 2026