Master Class in Mathematical Logic