Mathematical logic course 2012