£51.37

It has never been this cheap. We have no record of a lower price.

£51 today · cheaper than every other day in the last 3 months

Springer Mathematical Problems from Applied Logic I - Springer

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical
Generating forecast…
£68.93 £49.61 £53.83 £58.04 £62.26 £66.47 £70.69 28 July 2026 15 August 2026 02 September 2026 20 September 2026 09 October 2026
View at Amazon ↗

Price data last checked 17 day(s) ago - will refresh soon

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

Days at Price
Current Price
11 days · current 9 days 8 days 46 days 0 12 23 35 46 £51 £54 £58 £69 Days at Price

Price Analysis

Most common price: £69 (46 days, 62.2%)

Price range: £51 - £69

Price levels: 4 different prices over 74 days

Description

Mathematical Problems from Applied Logic I presents contributions from world-renowned logicians exploring the intersection of logic and modern applications. This volume examines critical developments in non-standard inferences within description logics, logic of provability, logical dynamics, and computability theory, with direct relevance to computer science and artificial intelligence. The book addresses both the current state of logical research and open problems that continue to shape the field, offering perspectives on how traditional logical frameworks apply to contemporary technological challenges. Each chapter reflects on requirements arising from successful implementations across computing and AI language systems, providing readers with insight into the theoretical foundations underpinning modern computational logic and the unresolved questions driving future research directions.

Key Features

Part of the International Mathematical Series collection, Volume 4, published by Springer for academic and professional audiences.

Covers non-standard inferences in description logics, examining how formal systems extend beyond classical logical boundaries.

Explores logic of provability and logical dynamics, addressing theoretical frameworks essential to computational mathematics.

Discusses computability theory applications with relevance to computer science architecture and microprocessor design.

Written by world-renowned logicians offering expert perspectives on open problems and future directions in applied logic.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
17 November 2005
Listed Since
27 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
98% match

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Springer

£37.09 05 Oct 2026
Mathematical Logic In The 20th Century
97% match

Mathematical Logic In The 20th Century

World Scientific Publishing Company

£94.21 13 Aug 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
97% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 11 Sep 2026
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)
97% match

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£110.00 05 Sep 2026
Proceedings of the 7th and 8th Asian Logic Conferences
97% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 09 Sep 2026
Cambridge Mathematical Logic and Computation by Jeremy Avigad
97% match

Cambridge Mathematical Logic and Computation by Jeremy Avigad

Cambridge University Press

£56.42 19 Aug 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
97% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£92.00 17 Sep 2026
Logic and Philosophy: A Modern Introduction
97% match

Logic and Philosophy: A Modern Introduction

£57.99 30 Sep 2026
Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)
97% match

Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Cambridge University Press

£59.85 24 Sep 2026
Mathematical Logic: 37 (Graduate Texts in Mathematics, 37)
97% match

Mathematical Logic: 37 (Graduate Texts in Mathematics, 37)

Springer

£73.46 19 Aug 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
97% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

De Gruyter

£76.88 14 Aug 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
97% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£64.86 20 Aug 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
97% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£158.24 11 Sep 2026
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)
97% match

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)

Springer

£68.52 25 Sep 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
97% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£62.16 23 Sep 2026
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
97% match

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Springer

£31.48 10 Oct 2026
Probabilistic Extensions of Various Logical Systems
97% match

Probabilistic Extensions of Various Logical Systems

Springer

£75.85 07 Oct 2026
Logic and Its Applications (Contemporary Mathematics)
97% match

Logic and Its Applications (Contemporary Mathematics)

£90.50 10 Oct 2026
Logic, Logic, and Logic
97% match

Logic, Logic, and Logic

Harvard University Press

£33.56 08 Sep 2026
Handbook of Philosophical Logic: Volume 4 - Logic & Reasoning
97% match

Handbook of Philosophical Logic: Volume 4 - Logic & Reasoning

Springer

£113.76 05 Oct 2026
Classical Mathematical Logic: The Semantic Foundations of Logic
97% match

Classical Mathematical Logic: The Semantic Foundations of Logic

Princeton University Press

£52.39 14 Oct 2026
Fundamentals of Mathematical Logic
97% match

Fundamentals of Mathematical Logic

CRC Press

£117.77 16 Aug 2026
Logic of Computation: SER F / v.157 (NATO ASI)
97% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£95.20 17 Sep 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
97% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£90.00 26 Sep 2026