Bounded Variable Logics and Counting

This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.