We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£109.17
Springer The Classical Decision Problem - Mathematical Logic Universitext
3 black & white illustrations, biography
Price data last checked 74 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 17 days · 17 data points (no recent data)
Price Distribution
Price distribution over 17 days • 2 price levels
Price Analysis
Most common price: £109 (12 days, 70.6%)
Price range: £109 - £135
Price levels: 2 different prices over 17 days
Description
Key Features
The Classical Decision Problem covers Hilbert's Entscheidungsproblem, a central topic in twentieth-century mathematical logic.
Springer's Universitext series positions this as both a comprehensive research monograph and an accessible graduate-level textbook.
The book includes complexity theoretic analysis, providing modern approaches to classical logical decision procedures.
Designed for logicians, computer scientists, mathematicians, and philosophy of science students seeking rigorous foundational knowledge.
Combines historical development with current status of the decision problem in formal logic and computational theory.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540423249
- Domain
- Amazon UK
- Release Date
- 28 August 2001
- Listed Since
- 22 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Springer Decision Procedures - Algorithmic Computer Science Book
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Foundations and Applications of Decision Theory: Volume I Theoretical Foundations: 13a (The Western Ontario Series in Philosophy of Science, 13a)
Springer
Foundations and Applications of Decision Theory: Volume I Theoretical Foundations: 13a (The Western Ontario Series in Philosophy of Science, 13a)
Springer
Decision Making Process: Concepts and Methods
Wiley
Foundations and Applications of Decision Theory: Volume II: Epistemic and Social Applications: 13b (The Western Ontario Series in Philosophy of Science, 13b)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Springer Applied Decision-Making in Computer Science Book
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Applied Decision-Making: Applications in Computer Sciences and Engineering: 209 (Studies in Systems, Decision and Control, 209)
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
SAT 2005: Satisfiability Research - Springer AI Computing
Springer
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
Puzzles, Paradoxes, and Problem Solving: An Introduction to Mathematical Thinking
CRC Press
SAT 2005: Satisfiability Research in the Year 2005
Springer
Nonmonotonic Logic: Context-Dependent Reasoning - Springer AI
Springer
Dynamic Epistemic Logic: Multi-Agent Knowledge Change - Springer
Springer
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
North Holland
Puzzles, Paradoxes, and Problem Solving: An Introduction to Mathematical Thinking
Chapman and Hall/CRC
Probabilistic Extensions of Various Logical Systems
Springer