Solutions for math logic course  (fall-winter 2014)