Sort by:
Hardcover
Usually ships within 24 hours
This self-contained textbook introduces the methods and results of descriptive complexity together with its applications. With many examples and exercises, it may be used for ... More
Hardcover
Usually ships within 24 hours
Presents Results from a Very Active Area of Research Exploring an active area of mathematics that studies the complexity of equivalence relations and classification problems, ... More
Hardcover
Usually ships within 24 hours
"If it were necessary, for some curious legal reason, to draw a clear line between human and nonhuman--for example, if a group of australopithecines were to appear and one ... More
Hardcover - 1
Usually ships within 24 hours
This is the second volume of a two-volume work that introduces a new and fundamentally different conception of language structure and linguistic investigation. The central ... More
Paperback - 1
Usually ships within 2-3 days
This is the second volume of a two-volume work that introduces a new and fundamentally different conception of language structure and linguistic investigation. The central ... More
Paperback - REPRINT
Usually ships within 24 hours
"If it were necessary, for some curious legal reason, to draw a clear line between human and nonhuman--for example, if a group of australopithecines were to appear and one ... More
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, ... More
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, ... More
Hardcover - REV
Usually ships within 24 hours
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity ... More
Hardcover
Usually ships within 24 hours
This book gives a comprehensive overview of central topics in finite model theory - expressive power of logics, descriptive complexity, and zero-one laws - together with ... More
Sort by: