Otto M. Bounded Variable Logics and Counting. A Study in Finite Models 2017