First-order logic over finite structures

Aggregates the first-order syntax, semantics, and isomorphism-invariance modules.