Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note
64,33 €
Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases.
Jetzt bei Ebay:
