An introduction to sentential and first-order logic including logical connectives, proof theory, and quantification. Formal models of computation including finite state automata, pushdown automata, and Turing machines. Incompleteness and uncomputability. (Prereq.: CSC 210 and one of MAT 122 or MAT 145 or MAT 171)