||Sentential logic: Translations, truth-table assessment, tautologies,
contradictions, tautological consequence and equivalence, formal proofs
in the system, informal proofs about the system, induction.
||Sentential metalogic: Connectives, disjunctive and conjunctive normal
forms, circuits, soundness, completeness, compactness, decidability.
||Predicate logic: translations, truth in a model, equivalence and
ordering relations, formal proofs in the system.
||Predicate metalogic: soundness, completeness, compactness,
categoricality, definability, Löwenheim-Skolem
||Natural numbers and incompleteness, undecidability