LOG-305 Symbolic Logic

3 cr.
Repeatable for Credit: No
Propositional and first-order quantificational languages and deductive systems, proof construction, introduction to soundness and completeness, application to natural language reasoning and computability.