Bounded Variable Logics and Counting

This study introduces some central ideas and lines of research in finite model theory, particularly...