Advanced Mathematical Logic Fall 2013