Martin Otto 0001 Bounded Variable Logics and Counting: A Study in Finite Models Cambridge University Press 2017 Lecture Notes in Logic 9 9781316716878 https://doi.org/10.1017/9781316716878