Description: The basic metatheory of first-order logic; with an emphasis on the precise relation between its syntax (formulas, rules of inference, and proofs) and semantics (interpretations, truth, validity), leading to the soundness and completeness theorems.
Derived Information — The following is not part of the official catalog but is computed from catalog data.