First-order logic over finite structures #
Aggregates first-order syntax, semantics, isomorphism invariance, substitution, finite connectives, and quantifier blocks.
Aggregates first-order syntax, semantics, isomorphism invariance, substitution, finite connectives, and quantifier blocks.