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
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 1296.00009
author: Albert Atserias
published in: Computer Science Review
publication date: 2014-10-07T00:00:00Z
Mathematics Subject Classification ID: 00A17
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68Q19
zbMATH DE Number: 6352091
MaRDI profile type: Publication
full work available at URL: j.cosrev.2008.01.001
OpenAlex ID: W3023819108
cites work: Handbook of proof theory
cites work: Model theory
cites work: Q4850061
cites work: Q4860774
cites work: Q4247261
cites work: Elements of finite model theory.
cites work: Q3998976
DOI: 10.1016/J.COSREV.2008.01.001
description: scientific article; zbMATH DE number 6352091