E. Boerger, E. Grädel, Y. Gurevich
Springer Berlin
94.11 € · Hardcover
This is the most complete and comprehensive treatment available in book form of the classical decision problem of mathematical logic and its role in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given, and of particular interest to the reade...