Reading list: Mathematics & Logic