Department: 
MATH
Course Number: 
225B
CCN: 
54414
Instructor: 
SLAMAN, T
Description: 
Metamathematics of predicate logic. Completeness and compactness theorems. Interpolation theorem, definability, theory of models. Metamathematics of number theory, recursive functions, applications to truth and provability. Undecidable theories. Sequence begins fall."
Semester: 
Spring 2014
Term (SP for Spring; FL for Fall): 
SP