Title: Descriptive complexity
First published: 1999
Description: 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 a graduate or advanced undergraduate course.
Subjects: Computational complexity, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA267.7 .I46 1999