We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£148.79
Springer - The Classical Decision Problem (Universitext) Book
3 black & white illustrations, biography
Price data checked 4 days ago
Price History & Forecast
Last 87 days • 87 data points (No recent data available)
Price Distribution
Price distribution over 87 days • 5 price levels
Price Analysis
Most common price: £134 (37 days, 42.5%)
Price range: £129 - £149
Price levels: 5 different prices over 87 days
Description
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
- 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
Logic for Applications (Texts in Computer Science)
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Springer - Logical Number Theory I: An Introduction
Springer
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
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
Springer
Rational Decision Making
Springer
Competitive Markov Decision Processes
Springer
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
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions: 127 (Grundlehren der mathematischen Wissenschaften, 127)
Springer
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions
Princeton University Press
Spectral Interpretation of Decision Diagrams
Springer
Computational Complexity: A Conceptual Perspective
Cambridge University Press
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
Theoretical Approaches to Non-Numerical Problem Solving: Proceedings of the IV Systems Symposium at Case Western Reserve University: 28 (Lecture Notes in Economics and Mathematical Systems, 28)
Springer
Competitive Markov Decision Processes: With 57 Illustrations
Springer
Multiperson Decision Making Models Using Fuzzy Sets and Possibility Theory: 18 (Theory and Decision Library B, 18)
Springer
Statistical Decision Theory: Estimation, Testing, and Selection (Springer Series in Statistics)
Springer
Computational Complexity: A Modern Approach
Cambridge University Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
Springer
Springer Semantical Investigations in Heyting's Intuitionistic Logic
Springer
Algebra of Conscience: 30 (Theory and Decision Library A:, 30)
Springer