MATH 27800 50 (Winter 2026) Mathematical Logic II