Descriptive complexity
Neil Immerman
Descriptive complexity - - Springer c1999 - xvi, 268p. - Graduate texts in computer science .
MD/1/0667/09-10/27-07-09
0387986006 (HB)
COMPUTATIONAL COMPLEXITY
LOGIC, SYMBOLIC AND MATHEMATICAL
MATHEMATICAL LOGIC
004.015113 IMM(DES)
Descriptive complexity - - Springer c1999 - xvi, 268p. - Graduate texts in computer science .
MD/1/0667/09-10/27-07-09
0387986006 (HB)
COMPUTATIONAL COMPLEXITY
LOGIC, SYMBOLIC AND MATHEMATICAL
MATHEMATICAL LOGIC
004.015113 IMM(DES)