The Classical Decision Problem

by Egon Börger, Yuri Gurevich, Egon Boerger

Book Overview

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

• Format: Paperback
• Language: English
• ISBN: 3540423249
• ISBN13: 9783540423249
• Release Date: August 2001
• Publisher: Springer
• Length: 482 Pages
• Weight: 1.52 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"