Finite model theory and its applications. Texts in Theoretical Computer Science

by E. Grädel · 1 review · 2010

Reviewed by Journal Date Access
Stephan Kreutzer The Bulletin of Symbolic Logic 2010-09-00 Restricted

Metaphysics & Logic

Also by Grädel

Search PhilReviews for this title