£149.98

Springer Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

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

View at Amazon

Price History & Forecast

Last 15 days • 15 data points (No recent data available)

Historical
Generating forecast...
£149.98 £142.48 £145.48 £148.48 £151.48 £154.48 £157.48 26 January 2026 29 January 2026 02 February 2026 05 February 2026 09 February 2026

Price Distribution

Price distribution over 15 days • 1 price levels

Days at Price
15 days 0 4 8 11 15 £150 Days at Price

Price Analysis

Most common price: £150 (15 days, 100.0%)

Price range: £150 - £150

Price levels: 1 different prices over 15 days

Description

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six major themes: domains and duality, game semantics, contextuality and quantum computation, comonads and descriptive complexity, categorical and logical semantics, and probabilistic computation. These relate to different stages and aspects of Abramsky’s work, reflecting its exceptionally broad scope and his ability to illuminate and unify diverse topics. Chapters in the volume include a review of his entire body of work, spanning from philosophical aspects to logic, programming language theory, quantum theory, economics and psychology, and relating it to a theory of unification of sciences using dual adjunctions. The section on game semantics shows how Abramsky’s work hasled to a powerful new paradigm for the semantics of computation. The work on contextuality and categorical quantum mechanics has been highly influential, and provides the foundation for increasingly widely used methods in quantum computing. The work on comonads and descriptive complexity is building bridges between currently disjoint research areas in computer science, relating Structure to Power. The volume also includes a scientific autobiography, and an overview of the contributions. The outstanding set of contributors to this volume, including both senior and early career academics, serve as testament to Samson Abramsky’s enduring influence. It will provide an invaluable and unique resource for both students and established researchers.

Product Specifications

Format
Hardcover
Pack Size
2 items
Domain
Amazon UK
Release Date
02 August 2023
Listed Since
23 November 2022

Barcode

No barcode data available

Similar Products You Might Like

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
93% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£96.80 14 Apr 2026
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
93% match

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Springer

£143.36 25 Jan 2026
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
92% match

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Springer

£154.95 13 Jan 2026
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
92% match

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Springer

£82.99 08 Mar 2026
Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)
92% match

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Springer

£142.76 10 Mar 2026
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)
92% match

Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)

Springer

£87.45 14 Jan 2026
Springer Quantifiers: Logics, Models and Computation Vol 1
92% match

Springer Quantifiers: Logics, Models and Computation Vol 1

Springer

£113.48 19 Apr 2026
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)
92% match

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Springer

£96.75 28 Mar 2026
Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)
92% match

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

£57.95 23 Feb 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
92% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£104.80 04 Feb 2026
Language Computability and Formal Language Theory
92% match

Language Computability and Formal Language Theory

Society Publishing

£86.14 08 Mar 2026
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
92% match

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Springer

£47.73 19 Feb 2026
Logic for Applications (Texts in Computer Science)
92% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Handbook of Philosophical Logic: Volume 8
92% match

Handbook of Philosophical Logic: Volume 8

Springer

£117.45 26 Feb 2026
Cambridge Logic and Algebraic Structures in Quantum Computing
91% match

Cambridge Logic and Algebraic Structures in Quantum Computing

Cambridge University Press

£97.00 09 Apr 2026
Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)
91% match

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

£94.50 21 Feb 2026
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
91% match

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Springer

£97.00 24 Feb 2026
Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham
91% match

Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham

Cambridge University Press

£81.71 22 Feb 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
91% match

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

Springer

£76.14 08 Apr 2026
Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)
91% match

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Springer

£76.93 06 Mar 2026
Theory of Computation: Automata, Formal Languages, Computation and Complexity
91% match

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer

£84.49 15 Feb 2026
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
91% match

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Springer

£75.84 29 Mar 2026
Mathematics in Programming
91% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Constructive Models (Siberian School of Algebra and Logic)
91% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.67 10 Mar 2026