MATH3102 Mathematical Logic 2
MATH 5103M Advanced Logic

MATH3102/5103M available handouts:

To , or to Barry Cooper's Home Page: