The Classical Decision Problem (Universitext)

by Yuri Gurevich (Contributor), Egon Borger (Author), Erich Gradel (Contributor)

New
Paperback
2008
$180.78

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.

Synopsis

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.

$180.78

Save:$7.13 (4%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 496
Edition: Softcover reprint of the original 1st ed. 1997
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008
ISBN 10: 3540423249
ISBN 13: 9783540423249

The Classical Decision Problem (Universitext)

New

$180.78

Synopsis

$180.78

More Information