MTH (0144) 355 - Symbolic Logic

Credits: 3.00

Learn the syntax, semantics, and techniques of proof and refutation for propositional and first-order logic, with applications to arithmetic, set theory, etc. Advanced topics may include compactness, completeness, interpolation, and incompleteness; unification and resolution; recursive function theory; finite model theory; and lambda calculus or combinatory logic.

Prerequisite 1: MTH 201
Free Note: Grade of C- or better in MTH 201