This book applies model theoretic methods to the study of certain finite permutation groups, the automorphism groups of structures for a fixed finite language w

This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Ba

Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebr