Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications

DOI10.1016/J.COSREV.2008.01.001zbMATH Open1296.00009OpenAlexW3023819108MaRDI QIDQ458460FDOQ458460

Albert Atserias

Publication date: 7 October 2014

Published in: Computer Science Review (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cosrev.2008.01.001

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) External book reviews (00A17) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Cites Work

• Title not available (Why is that?)
• Handbook of proof theory
• Model theory
• Elements of finite model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Book review of: K. Tent and M. Ziegler, A course in model theory

This page was built for publication: Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q458460)