Infinitary Logic and Inductive Definability over Finite Structures

Abstract
No abstract available