The Classical Decision Problem
Author | : Egon Börger |
Publisher | : Springer Science & Business Media |
Total Pages | : 500 |
Release | : 2001-08-28 |
ISBN-10 | : 3540423249 |
ISBN-13 | : 9783540423249 |
Rating | : 4/5 (249 Downloads) |
Download or read book The Classical Decision Problem written by Egon Börger and published by Springer Science & Business Media. This book was released on 2001-08-28 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.