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