This course presents a survey of modern symbolic logic, i.e.,
propositional, and first order predicate logic.  Natural deduction
proof methods will be used, with a brief introduction to Hilbert
style axiomization.  The model theory of these logics will be
investigated, leading to soundness and completeness proofs for first
order logic.  Additional topics will be covered as time and interest
permit and include compactness, Lowenheim-Skolem theorem, and proofs
by induction.