The Classical Decision Problem (Perspectives in Mathematical Logic) (Universitext)

by E Boerger, E Bhorger, Yuri Gurevich, E Gradel, and Professor of Computer Science Department of Information Egon Borger

Amir Hussain (Editor), Professor Igor Aleksander (Editor), and Leslie S. Smith (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for The Classical Decision Problem
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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.
  • ISBN10 038757073X
  • ISBN13 9780387570730
  • Publish Date 1 January 1997 (first published 31 December 1996)
  • Publish Status Cancelled
  • Out of Print 18 October 2014
  • Publish Country DE
  • Imprint Springer
  • Format Hardcover
  • Pages 494
  • Language English