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

£149.98

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

Name: Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)
Brand: Springer
Price: 149.98 GBP
Availability: InStock

Computer Science

This is the usual price. Wait for it to drop, or tell us your number.

£150 today · usual range £0–£0 · best ever £125

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

Historical

Generating forecast...

Price Distribution

Price distribution over 374 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £131 (136 days, 36.4%)

Price range: £125 - £150

Price levels: 5 different prices over 374 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

Brand: Springer
Format: Hardcover
Pack Size: 2 items
ASIN: 3031241169
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 02 August 2023
Listed Since: 23 November 2022

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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)

Patrick Suppes: Scientific Philosopher: Volume 1. Probability and Probabilistic Causality: 234 (Synthese Library, 234)

Patrick Suppes: Scientific Philosopher: Volume 2. Philosophy of Physics, Theory Structure, and Measurement Theory: 233 (Synthese Library, 233)

Patrick Suppes: Scientific Philosopher: Volume 2. Philosophy of Physics, Theory Structure, and Measurement Theory: 233 (Synthese Library, 233)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Current Research in Operational Quantum Logic: Algebras, Categories, Languages: 111 (Fundamental Theories of Physics, 111)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

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

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

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

Language, Logic and Method: 31 (Boston Studies in the Philosophy and History of Science, 31)

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings: 3526 (Lecture Notes in Computer Science, 3526)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Introduction to Mathematical Logic: Extended Edition

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Undecidability, Uncomputability, and Unpredictability (The Frontiers Collection)

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)

Undecidability, Uncomputability, and Unpredictability (The Frontiers Collection)

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

J. Michael Dunn on Information Based Logics: 8 (Outstanding Contributions to Logic, 8)