Course Descriptions

The Course Descriptions catalog describes all undergraduate and graduate courses offered by Michigan State University. The searches below only return course versions Fall 2000 and forward. Please refer to the Archived Course Descriptions for versions prior to Fall 2000.

Course Numbers Policy
Definitions of Course Characteristics (pdf)
Course Descriptions Frequently Asked Questions

Course Descriptions: Search Results

PHL 432  Logic and its Metatheory

Spring of odd years
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Not open to students with credit in:
PHL 330
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
FALL 2014 - SUMMER 2015