Title: Bounded variable logics and counting
First published: 1997
Subjects: Model theory, Computational complexity
LC classification: QA9.7 .O88 1997