The Classical Decision Problem

The Classical Decision Problem PDF Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 9783540423249
Category : Mathematics
Languages : en
Pages : 500

Get Book Here

Book Description
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.