MATH 506 - Model Theory
MATH 215 - Introduction to Advanced Mathematics
MATH 502 - Mathematical Logic
MATH 430 - Formal Logic
MATH 512 - O-minimality and applications
Click here