TY  - BOOK
AU  - Otto,Martin
TI  - Bounded variable logics and counting: a study in finite models 
SN  - 3540620370
PY  - 1996///
CY  - Berlin
PB  - Springer-Verlag
KW  - Model theory
KW  - Computational complexity
ER  -