Rigorous definitions of syntax and semantics. Proofs of soundness and completeness of sentential and predicate logics; other topics in metatheory. May include extensions of and alternatives to classical logic. Philosophical significance of logic and metalogical results.