 |
|
|
Item Details
| Title:
|
THE CLASSICAL DECISION PROBLEM
|
| By: |
Egon Borger, Erich Gradel, Yuri Gurevich |
| Format: |
Paperback |
| List price:
|
£119.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540423249 |
| ISBN 13: |
9783540423249 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
28 August, 2001 |
| Edition: |
Softcover reprint of the original 1st ed. 1997 |
| Series: |
Universitext |
| Pages: |
482 |
| 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. |
| 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. |
| Illustrations: |
3 Illustrations, black and white; X, 482 p. 3 illus. |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|