Master Class in Mathematical Logic, 2006-7