First order logic, completeness and incompleteness theorems, introduction to model theory and computability theory. Course Information: Same as MATH 502. Prerequisite(s): MATH 430 or consent of the instructor.