This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
+49 30 488 288 200
