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.