MATH-8714 (3) Topics in Logic 1 and 2