MAT 324 Formal Logic

An introduction to elementary deductive logic to include propositional logic and first-order quantification theory with identity. Emphasis on natural deduction techniques. Some discussion of computability and other topics in the foundations of mathematics and philosophy of logic. Prerequisite - MAT118