Introduction to Formal Logic
Pick next reading from Teach Yourself Logic
…
some sort of study of Homotopy Type Theory