£108.76

Springer - The Classical Decision Problem (Universitext) Book

Name: Springer - The Classical Decision Problem (Universitext) Book
Brand: Springer
Price: 108.76 GBP
Availability: InStock

3 black & white illustrations, biography

Databases

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

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

Historical

Generating forecast...

Price Distribution

Price distribution over 24 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £149 (20 days, 83.3%)

Price range: £109 - £149

Price levels: 2 different prices over 24 days

Description

Explore the development and current status of one of the most significant themes in twentieth-century mathematical logic. The Classical Decision Problem, also known as Hilbert's Entscheidungsproblem, is a foundational topic for anyone studying the history and evolution of logic and computation. This text from Springer offers a comprehensive modern treatment of the subject. It is designed to serve both as a research monograph and a textbook, making it a versatile resource for advanced study. The content includes a modern complexity theoretic analysis, providing deep insight into the mathematical structures involved. Whether you are a professional researcher or a student, this book provides the necessary depth to understand the classical decision problem. It is written for a wide audience of logicians, computer scientists, mathematicians, and philosophers of science who want to master this major theme of mathematical logic.

Key Features

Comprehensive modern treatment of Hilbert's Entscheidungsproblem and the classical decision problem.

Includes detailed complexity theoretic analysis to provide a modern mathematical perspective.

Versatile format that functions as both a research monograph and a textbook for students.

Designed for a wide audience of logicians, computer scientists, mathematicians, and philosophers.

Covers the historical development and the current status of major themes in mathematical logic.

Product Specifications

Brand: Springer
Model: 3 black & white illustrations, biography
Format: paperback
ASIN: 3540423249
Category: Books > Subjects > Computing & Internet > Databases
Domain: Amazon UK
Release Date: 28 August 2001
Listed Since: 22 December 2006

Barcode

No barcode data available

Springer - The Classical Decision Problem (Universitext) Book

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Foundations and Applications of Decision Theory: Volume I Theoretical Foundations: 13a (The Western Ontario Series in Philosophy of Science, 13a)

Foundations and Applications of Decision Theory: Volume I Theoretical Foundations: 13a (The Western Ontario Series in Philosophy of Science, 13a)

Decision Making Process: Concepts and Methods

Foundations and Applications of Decision Theory: Volume II: Epistemic and Social Applications: 13b (The Western Ontario Series in Philosophy of Science, 13b)

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

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

Springer Applied Decision-Making in Computer Science and Engineering

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

Applied Decision-Making: Applications in Computer Sciences and Engineering: 209 (Studies in Systems, Decision and Control, 209)

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)

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

Springer SAT 2005: Satisfiability Research in the Year 2005

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Puzzles, Paradoxes, and Problem Solving: An Introduction to Mathematical Thinking

SAT 2005: Satisfiability Research in the Year 2005

Springer - Nonmonotonic Logic: Context-Dependent Reasoning

Springer Dynamic Epistemic Logic: 337 Synthese Library Book

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

Puzzles, Paradoxes, and Problem Solving: An Introduction to Mathematical Thinking

Probabilistic Extensions of Various Logical Systems