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