• Sign In
  • Help
  • My Basket0
The Classical Decision Problem - Perspectives in Mathematical Logic (Hardback)
  • The Classical Decision Problem - Perspectives in Mathematical Logic (Hardback)
zoom

The Classical Decision Problem - Perspectives in Mathematical Logic (Hardback)

(author), (author), (author)
£61.00
Hardback 482 Pages / Published: 05/12/1996
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Check Marketplace availability

This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many simple proofs and exercises are included in the book.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540570738
Number of pages: 482

You may also be interested in...

Godel's Proof
Added to basket
£11.99
Paperback
How to Prove It
Added to basket
Introduction To Error Analysis
Added to basket
Sets, Logic and Categories
Added to basket
Category Theory
Added to basket
£36.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
Measurements and their Uncertainties
Added to basket
Logic
Added to basket
£10.99
Paperback
Numbers and Proofs
Added to basket
£46.99
Paperback
Naive Set Theory
Added to basket
£8.95
Paperback
The Foundations of Mathematics
Added to basket
Taking Sudoku Seriously
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.