Descriptive Complexity -

Neil Immerman

Springer-Verlag

1999

268 páginas

8h 56m

ISBN-10: 0387986006

This book should be interest to anyone who like to understand computation from the point of view of logic. The book is designed for graduate students or advanced undergraduates in computer science ou mathematics and suitable as a textbook or for self study in the are of descriptive complexity.