I've been following this guide for several months. It's made some excellent recommendations so far. Prospective type theorists, students of linear logic, etc. will have to venture beyond the reading list, but having a good grasp of the modern fundamentals of logic has made a big difference to me in how well I can follow texts like HoTT.