511179
9783540423249
This is a comprehensive treatment of the classical decision problem of mathematical logic and of its role in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given.Borger, E. is the author of 'Classical Decision Problem' with ISBN 9783540423249 and ISBN 3540423249.
[read more]