Advanced Mathematical Logic: Problems & homeworks