Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Classical Decision Problem

The Classical Decision Problem

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540423249
Condition
New
Product Description

This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic knowledge of the language of first-order logic is required for understanding of the main parts of the book, and we use standard terminology. The chapters are written in such a way that various combinations of them can be used for introductory or advanced courses on undecidability, decidability and complexity of logical decision problems. This explains a few intended redundancies and repetitions in some of the chapters. The annotated bibliography, the historical remarks at the end of the chap ters and the index allow the reader to use the text also for quick reference purposes.

Available Colors
Available Sizes
1 Offer Price Range: $199.99 - $199.99
BEST PRICE

Single Product Purchase

$199.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$199.99 $199.99

$199.99
See Site In stock Visit Store

Similar Products

Specific Heats at Low Temperatures

$84.99

Catalogue of Important Books on Roman and Ancient Foreign Law

$54.99

The Business Cycle: Theories and Evidence

$109.99

Heart Cell Coupling and Impulse Propagation in Health and Disease

$169.99

Fremdenfeindliche Vorurteile in den Staaten der EU

$69.99

Transportation, Water and Environmental Geotechnics

$249.99

Anthropological Perspectives on Student Futures

$129.99

Moderne Organisationskonzeptionen

$59.99

Numerical Modelling of Astrophysical Turbulence

$54.99

New Analytic and Geometric Methods in Inverse Problems

$109.99

Conceptual Exploration

$179.99

Analysis of Operators on Function Spaces

$99.00

Degrees of Belief

$84.99

Medicinal and Aromatic Plants V

$189.00

Cultural Understanding of Soils

$179.99

Neurogenetik

$59.99

A Spectroscopic Atlas of Bright Stars

$34.99

Steuerung autonomer mobiler Roboter in der Produktion

$59.99

Der Aufgabenkreis des Betriebs-Ingenieurs

$69.99

Electronic Band Structure and Its Applications

$74.99

Low Power Wireless Receivers for IoT Applications with Multi-band Calibration Algorithms

$54.99

Beauty and the Male Body in Byzantium

$54.99

B2B - or not to be?

$29.99

Mathematik ist wunderwunderschn

$19.99

Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Comp

$219.99

Quantum Physics, Mini Black Holes, and the Multiverse

$34.99

Im Umgang mit der Macht

$79.99

A Formula for Eradicating Racism

$59.99

Contemporary Quantitative Finance

$39.99

Radiation Proteomics

$109.99

Global Stakeholder Relationships Governance

$75.00

Spirituality, Sustainability, and Success

$79.99

Nonstandard Analysis for the Working Mathematician

$109.99

Benutzerfreundliche Kommunikation / User-Friendly Communication

$59.99

The Indian Mutual Fund Industry

$54.99

Abstract Linear Algebra

$59.99

Facetten der Mathematikgeschichte

$39.99

Advanced Information Technologies for Industrial Material Flow Systems

$84.99

Microbial Biotechnology- A Laboratory Manual for Bacterial Systems

$109.99

Auslegung der Testsektion eines geschlossenen Windkanals fr ORC-Fluide

$44.99